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.
  ☆11Updated 8 months ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago
• MoritzKappel / MoNeRF
  Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"
  ☆19Updated 6 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆88Updated this week
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆125Updated 6 months ago
• intel / ndg-fitting
  Official implementation of the SIGGRAPH 2024 paper "N-Dimensional Gaussians for Fitting of High Dimensional Functions"
  ☆168Updated 2 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆527Updated 3 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆153Updated last month
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• brabbitdousha / MIRReS-ReSTIR_Nerf_mesh
  [ICLR 2025]Source Code for the Paper "MIRReS: Inverse Rendering for Shape, Light, and Material Decomposition using Multi-Bounce Path Trac…
  ☆40Updated 7 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆24Updated 4 months ago
• nadia-polikarpova / synquid
  ☆136Updated 3 years ago
• brabbitdousha / A-Python-Ray-Mesh-Intersector-in-Slangpy
  a python BVH tree builder using slangpy to call cuda kernels, no optix build problems.
  ☆15Updated 5 months ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated this week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆231Updated 2 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆380Updated 8 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆408Updated last week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆463Updated last week
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆611Updated 9 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated 2 weeks ago
• mweiherer / matern-surface-reconstruction
  Official implementation of "Matérn Kernels for Tunable Implicit Surface Reconstruction" (ICLR'25).
  ☆12Updated last month
• vmmc2 / Bleach
  The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
  ☆34Updated 9 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆312Updated this week
• ligoudaner377 / homo_translucent
  ☆17Updated 2 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 3 years ago
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 4 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆694Updated 2 weeks ago
• SanoScience / PR-ENDO
  [MICCAI2025] PR-ENDO: Physically Based Relightable Gaussian Splatting for Endoscopy
  ☆13Updated last month