Alternatives and similar repositories for mitls-fstar

Users that are interested in mitls-fstar are comparing it to the libraries listed below

• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆291Updated last year
• project-everest / everest
  ☆198Updated this week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆451Updated last week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆274Updated this week
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆468Updated this week
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆184Updated 8 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆248Updated 2 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated this week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆264Updated last week
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 10 months ago
• au-ts / cogent
  Cogent Project
  ☆165Updated 2 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆159Updated 8 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆91Updated this week
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆99Updated 4 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 2 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆294Updated this week
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 2 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆59Updated 7 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆307Updated last week
• clarus / falso
  A proof of false in Coq.
  ☆97Updated 5 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated last month
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆243Updated 2 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆164Updated 3 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆147Updated 3 years ago