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

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