jmd1011 / snek-LMS
Implementation of Lightweight Modular Staging (LMS) in Python
☆48Updated 5 years ago
Alternatives and similar repositories for snek-LMS:
Users that are interested in snek-LMS are comparing it to the libraries listed below
- ☆55Updated last year
- The implementation of the Elevate language☆29Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆30Updated this week
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Python bindings for egg☆48Updated 2 years ago
- ☆21Updated 2 years ago
- ☆17Updated 9 months ago
- surgical precision JIT compilers☆121Updated 7 years ago
- generative programming & verification☆33Updated 3 years ago
- ☆88Updated 2 years ago
- Staged Abstract Interpreters☆65Updated 2 years ago
- ☆16Updated 3 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated 8 months ago
- Python bindings for the egg-smol rust library☆70Updated this week
- embedding MLIR in LEAN☆47Updated 9 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 8 months ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- ☆23Updated 11 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The Shine compiler for the RISE language☆79Updated this week
- Rhyme is an Expressive Data-Centric Query Language☆27Updated this week
- ☆31Updated 10 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Reference type checker for the Lean theorem prover☆15Updated 7 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆114Updated 2 months ago