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.
  ☆13Updated last year
• cucapra / gator
  Geometry types
  ☆33Updated 4 years ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 4 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated this week
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆27Updated 3 weeks ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆76Updated 2 weeks ago
• trishullab / cflobdd
  ☆14Updated 3 weeks ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆38Updated 2 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆142Updated 9 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 5 months ago
• martinjonas / Q3B
  ☆31Updated 2 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆60Updated last year
• MoritzKappel / MoNeRF
  Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"
  ☆19Updated 9 months ago
• marijnheule / microsat
  microsat
  ☆141Updated 3 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆236Updated this week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆125Updated this week
• columbia / osdi23-paper114-ae
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
  ☆16Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆98Updated 3 weeks ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• ths-rwth / smtrat
  ☆60Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated 3 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• hongseok-yang / graduatePL25
  ☆15Updated last month
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 5 months ago
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 4 years ago
• strata-org / Strata
  ☆118Updated last week
• wslee / duet
  ☆21Updated 8 months ago