isabelle topic
Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
awesome-provable
A curated set of links to formal methods involving provable code.
l4v
seL4 specification and proofs
Isabelle-HoTT
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
PSL
scala-isabelle
A Scala library for controlling/interacting with Isabelle
nunchaku
Model finder for higher-order logic
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
munta
Fully verified model checker for realtime systems