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 the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆11Updated 9 months ago
- Geometry types☆32Updated 4 years ago
- A toolbox for knowledge compilation☆25Updated 6 months ago
- Definition of the Viper intermediate verification language.☆89Updated this week
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆11Updated last week
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- Official implementation of the SIGGRAPH 2024 paper "N-Dimensional Gaussians for Fitting of High Dimensional Functions"☆187Updated 3 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- Official implementation of "Matérn Kernels for Tunable Implicit Surface Reconstruction" (ICLR'25).☆12Updated 2 months ago
- Official PyTorch implementation of "Fast Non-Rigid Radiance Fields from Monocularized Data"☆19Updated 7 months ago
- The Ott tool for writing definitions of programming languages and calculi☆387Updated 9 months ago
- PL conference deadline countdowns☆62Updated last month
- Concurrent decision diagram framework written in Rust☆65Updated last week
- ☆17Updated 10 months ago
- Simple C Compiler in OCaml☆94Updated 7 years ago
- ☆233Updated last year
- Gradient, divergence, Laplacian on point clouds. Useful for setting up and solving PDEs on point clouds and learning anisotropic features…☆78Updated 3 years ago
- A work-in-progress language and compiler for verified low-level programming☆313Updated this week
- Tool Support for Correctness-by-Construction☆29Updated last week
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆34Updated 10 months ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated last year
- Visual Studio Code extension for Coq☆410Updated 3 weeks ago
- Simple OpenGL-based renderer for volumetric (medical) data☆15Updated 4 months ago
- ☆14Updated last week
- Code of Radiance Field Loss paper☆77Updated 2 months ago
- Code for our paper "Application of 3D Gaussian Splatting for Cinematic Anatomy on Consumer Class Devices"☆27Updated last month
- [ICLR 2025]Source Code for the Paper "MIRReS: Inverse Rendering for Shape, Light, and Material Decomposition using Multi-Bounce Path Trac…☆40Updated 8 months ago
- FIPT: Factorized Inverse Path Tracing☆55Updated 9 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆115Updated this week
- Apron Numerical Abstract Domain Library☆137Updated 6 months ago