Alternatives and similar repositories for Vatras:

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

• VariantSync / DiffDetective
  Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
  ☆10Updated this week
• Henningson / Fireflies
  Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.
  ☆11Updated 3 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆83Updated 2 weeks ago
• Universal-Variability-Language / uvl-parser
  ☆11Updated 6 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆121Updated 2 weeks ago
• ths-rwth / smtrat
  ☆52Updated 3 weeks ago
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆21Updated 2 months ago
• msp-strath / cs316-functional-programming
  CS316 "Functional Programming" lecture notes
  ☆14Updated 4 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last month
• asolarlez / sketch-frontend
  ☆34Updated last week
• columbia / osdi23-paper114-ae
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
  ☆16Updated 7 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 8 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated last month
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆251Updated last month
• asolarlez / sketch-backend
  ☆39Updated 5 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆16Updated 2 weeks ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆77Updated 3 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆91Updated this week
• cucapra / gator
  Geometry types
  ☆29Updated 4 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆67Updated this week
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆16Updated last year
• martinjonas / Q3B
  ☆27Updated this week
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated last week