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
  ☆9Updated 2 weeks ago
• Henningson / Fireflies
  Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.
  ☆11Updated 7 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆88Updated 3 weeks ago
• vmmc2 / Bleach
  The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
  ☆34Updated 8 months ago
• MoritzKappel / MoNeRF
  Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"
  ☆19Updated 5 months ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆460Updated last week
• Universal-Variability-Language / uvl-parser
  ☆11Updated 2 weeks ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆401Updated 2 weeks ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆29Updated 8 months ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆111Updated this week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• mweiherer / matern-surface-reconstruction
  Official implementation of "Matérn Kernels for Tunable Implicit Surface Reconstruction" (ICLR'25).
  ☆11Updated last week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆440Updated this week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆197Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆345Updated this week
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆377Updated 7 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆42Updated 4 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆229Updated last month
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆387Updated last week
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆264Updated 11 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆184Updated this week
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆270Updated last year