VariantSync / VatrasLinks
Agda Library to Study the Expressive Power of Languages for Static Variability
☆12Updated last week
Alternatives and similar repositories for Vatras
Users that are interested in Vatras are comparing it to the libraries listed below
Sorting:
- Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines☆9Updated 2 weeks ago
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆11Updated 6 months ago
- Geometry types☆30Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆438Updated this week
- Apron Numerical Abstract Domain Library☆131Updated 4 months ago
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆110Updated this week
- Implementation of the Delta Language☆8Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆523Updated last month
- Program synthesis class taught by Loris D'Antoni☆29Updated 7 months ago
- Definition of the Viper intermediate verification language.☆88Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆57Updated 2 weeks ago
- ☆233Updated 11 months ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆457Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆123Updated 5 months ago
- Visual Studio Code extension for Coq☆395Updated last week
- A work-in-progress language and compiler for verified low-level programming☆310Updated this week
- SRI Yices SMT Solver☆416Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆664Updated last month
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- A toolbox for knowledge compilation☆23Updated 3 months ago
- Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"☆19Updated 4 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆354Updated 6 months ago
- Concurrent decision diagram framework written in Rust☆63Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆263Updated this week
- Metamath Zero specification language☆346Updated 2 weeks ago
- A Library for Representing Recursive and Impure Programs in Coq☆225Updated 2 weeks ago
- The Vampire Theorem Prover☆339Updated this week
- ☆52Updated 7 months ago