Alternatives and similar repositories for Vatras

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

• Henningson / Fireflies
  Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.
  ☆11Updated 10 months ago
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆25Updated 6 months ago
• cucapra / gator
  Geometry types
  ☆33Updated 4 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated last week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated last week
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆156Updated last week
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆126Updated 8 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆138Updated 7 months ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆233Updated 3 weeks ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆117Updated this week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆69Updated 2 weeks ago
• PurduePL / purduepl.github.io
  A blog of Programming Languages Group @Purdue
  ☆12Updated 3 weeks ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆31Updated last month
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆318Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆24Updated last week
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆36Updated 3 weeks ago
• logsem / iris-tutorial
  ☆58Updated last month
• logsem / iris-lecture-notes
  ☆15Updated last year
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆390Updated 10 months ago
• MoritzKappel / MoNeRF
  Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"
  ☆19Updated 8 months ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆473Updated last week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆443Updated this week
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆39Updated last month
• columbia / osdi23-paper114-ae
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
  ☆16Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 4 months ago