Alternatives and similar repositories for Vatras

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

• cucapra / gator
  Geometry types
  ☆33Updated 5 years ago
• Henningson / Fireflies
  Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.
  ☆14Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆93Updated last week
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆27Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆216Updated 4 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• awodey / math
  Mathematical notes and papers
  ☆27Updated 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆86Updated this week
• msp-strath / cs316-functional-programming
  CS316 "Functional Programming" lecture notes
  ☆21Updated last week
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆174Updated this week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆273Updated last year
• digama0 / mm0
  Metamath Zero specification language
  ☆373Updated last month
• columbia / osdi23-paper114-ae
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
  ☆16Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆127Updated 11 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• nadia-polikarpova / synquid
  ☆143Updated 3 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 4 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆93Updated 7 months ago
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆127Updated this week
• TiarkRompf / reachability
  ☆54Updated 3 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year