A Python crawler for extensions from the Chrome Web Store.
Updated 4 years ago
A data science framework for analyzing Chrome browser extensions.
Updated 3 years ago
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Updated 9 months ago
Updated 7 months ago
GenericBreakGlass: XACML Reference Implementation
Updated 3 years ago
Local mirror of https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL
Updated 3 years ago
A Collection of Isabelle Programming Hacks
Updated 7 months ago
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
Updated 11 months ago
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2 weeks ago
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 6 hours ago
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Updated 8 months ago
Container definitions (tested with docker and podman) for SCALE-MAMBA.
Updated 10 months ago
LaTeX package extending Springer's llncs class.
Updated 2 years ago
LaTeX styles implementing the cooperate style of logicalhacking.com.
Updated 6 months ago
Collection of zsh plugins and themes for members of the logicalhacking team.
Updated 4 months ago
A collection of (toy) examples using OCL.
Updated 3 years ago
A simple LaTeX class/style that mimics the layout of OMG's UML standards in general and the OCL standard in particular.
Updated 3 years ago
Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
Updated 2 years ago
A tool for analysing publication related key performance indicates (KPIs) based on the information available at the Google Scholar page of an author.
Updated 11 months ago
Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".
Updated 9 months ago