Alternatives and similar repositories for pirate

Users that are interested in pirate are comparing it to the libraries listed below

• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆22Updated 3 years ago
• HoTT / HoTT-2019
  Conference on Homotopy Type Theory 2019
  ☆15Updated 5 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆16Updated 3 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated last week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆23Updated last week
• punkdit / huygens
  ☆10Updated 3 weeks ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated last year
• awodey / joyal
  ☆15Updated 10 months ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆20Updated this week
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated this week
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• moajohansson / IsaHipster
  Theory Exploration for Isabelle using HipSpec
  ☆20Updated 11 months ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated last week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆24Updated last month
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 11 months ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆59Updated 7 years ago
• jkoppel / ecta
  ☆35Updated last year