Project Everest
Papers and Talks People Related Projects Build dashboard

Related Projects

  • miTLS (https://mitls.org) - a verified reference TLS implementation
  • FStar (https://fstar-lang.org) - an ML-like functional programming language aimed at program verification
  • Dafny (https://github.com/Microsoft/dafny) - a verification-aware programming language
  • Z3 Theorem Prover (https://github.com/Z3Prover/z3) - a SMT theorem prover
  • IronClad (https://github.com/Microsoft/Ironclad) - provably secure and reliable systems
  • Lean (https://leanprover.github.io/) - Open souce theorem prover
  • KreMLin (https://github.com/FStarLang/kremlin/) - a compiler from a subset of F* to C
  • HACL* (https://github.com/mitls/hacl-star) - a verified library of cryptographic primitives written in F*

Project Everest

  • Project Everest
  • project-everest

Project page for the Project Everest. The page features information about the project, blog covering interesting developments, paper references and everthing exciting.