Nā hale waihona puke i kākau ʻia ma Isabelle

l4v

seL4 kikoʻī a me nā hōʻike.
  • 464
  • GNU General Public License v3.0

marlowe

Hoʻokō prototype o ka ʻōlelo domain-specific no ka hoʻolālā ʻana i nā ʻaelike akamai ma luna o nā cryptocurrencies.
  • 164
  • Apache License 2.0

cogent

Papahana Cogent.
  • 154
  • GNU General Public License v3.0

tangentlabs

nui nā hoʻokolohua liʻiliʻi ma nā ʻōlelo like ʻole.
  • 38

sortnetopt

Nā palena liʻiliʻi no ka hoʻokaʻawale ʻana i nā pūnaewele.
  • 38

WasmCert-Isabelle

He mechanization o Wasm ma Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

He wehewehe a me ka hōʻoia ʻana o ka Pūnaehana F. E hoʻonui ʻia i ka Pūnaehana Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

ʻO ka hoʻokō hōʻoia kiʻekiʻe o ka ʻohana protocol Ouroboros.
  • 0
  • GNU General Public License v3.0