There are 4 repositories under isabelle topic.
A curated set of links to formal methods involving provable code.
Verified iptables Firewall Ruleset Analysis
Model finder for higher-order logic
A Scala library for controlling/interacting with Isabelle
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Verifying the optimization phases of the GraalVM compiler
A client for Isabelle server (https://isabelle.in.tum.de)
Formalizing the KZG polynomial commitment scheme in the Interactive Theorem Prover Isabelle.
ISSABEL simple API Restful JSON: Provide call history reports from Issabel for a Call center powered by PHP with a JSON web-service interface
A dependent type theory logic for Isabelle
Measuring the growth of open source formal methods
The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode)
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Alternative EVM smart contract language
A project to integrate the functionality of Computer Algebra Systems into Isabelle
A Collection of Isabelle Programming Hacks
An automated equivalence reasoner for Isabelle/HOL
QuickCheck-like testing framework for Isabelle/ML
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
Propositional logic and FOL proofs (froward style)