VariantSync / VatrasLinks
Agda Library to Study the Expressive Power of Languages for Static Variability
☆13Updated 3 weeks ago
Alternatives and similar repositories for Vatras
Users that are interested in Vatras are comparing it to the libraries listed below
Sorting:
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆14Updated last year
- Geometry types☆33Updated 5 years ago
- Definition of the Viper intermediate verification language.☆92Updated this week
- A toolbox for knowledge compilation☆27Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- Metamath Zero specification language☆368Updated last week
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- ☆234Updated last year
- The Vampire Theorem Prover☆373Updated 2 weeks ago
- ☆44Updated 2 months ago
- A work-in-progress language and compiler for verified low-level programming☆322Updated last week
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- The Vellvm (Verified LLVM) coq development.☆453Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated last month
- Concurrent decision diagram framework written in Rust☆77Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆398Updated last year
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆496Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- A minimal development of SSA theory☆205Updated this week
- Tool Support for Correctness-by-Construction☆30Updated 2 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆299Updated this week
- Embeddable Lambda Prolog Interpreter☆335Updated last month
- Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"☆19Updated 10 months ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Updated 3 weeks ago
- The Ultimate program analysis framework.☆237Updated this week
- Official implementation of the SIGGRAPH 2024 paper "N-Dimensional Gaussians for Fitting of High Dimensional Functions"☆189Updated 2 months ago
- My personal repository of formally verified mathematics.☆308Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 10 months ago
- A monadic library for symbolic evaluation☆72Updated 5 months ago
- PL conference deadline countdowns☆63Updated last month