Biblioteke napisane u Isabelle u

l4v

seL4 specifikacija i dokazi.
  • 464
  • GNU General Public License v3.0

marlowe

Implementacija prototipa jezika specifičnog za domenu za dizajn pametnih ugovora preko kriptovaluta.
  • 164
  • Apache License 2.0

cogent

Uvjerljivi projekt.
  • 154
  • GNU General Public License v3.0

tangentlabs

puno mini eksperimenata na raznim jezicima.
  • 38

sortnetopt

Niže granice veličine za razvrstavanje mreža.
  • 38

WasmCert-Isabelle

Mehanizacija Wasma u Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Formalna definicija i provjera Sustava F. Treba se proširiti na Sustav Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementacija obitelji protokola Ouroboros visoke sigurnosti.
  • 0
  • GNU General Public License v3.0