Open source projects in Isabelle

  • diekmann/Iptables_Semantics

    Verified iptables Firewall Ruleset Analysis

    ☕Isabelle   ★54 stars   ⚠11 open issues   ⚭4 contributors   ☯about 4 years old  
  • seL4/l4v

    seL4 specification and proofs

    ☕Isabelle   ★172 stars   ⚠2 open issues   ⚭12 contributors   ☯over 4 years old  
  • pirapira/eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    ☕Isabelle   ★142 stars   ⚠144 open issues   ⚭4 contributors   ☯about 2 years old  
  • elastic/elasticsearch-formal-models

    Formal models of core Elasticsearch algorithms

    ☕Isabelle   ★38 stars   ⚠1 open issues   ⚭3 contributors   ☯about 2 years old