jmd1011 / snek-LMSLinks
Implementation of Lightweight Modular Staging (LMS) in Python
☆48Updated 6 years ago
Alternatives and similar repositories for snek-LMS
Users that are interested in snek-LMS are comparing it to the libraries listed below
Sorting:
- ☆55Updated last month
- ☆17Updated 11 months ago
- Python bindings for egg☆49Updated 2 years ago
- The implementation of the Elevate language☆29Updated 2 months ago
- ☆23Updated 11 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- VATA Tree Automata Library☆32Updated 9 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- ☆22Updated 2 years ago
- ☆88Updated 2 years ago
- Python term rewriting☆29Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- generative programming & verification☆33Updated 3 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 4 months ago
- Python bindings for the egg-smol rust library☆76Updated last week
- 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
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated 11 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆47Updated last week
- Compiler with automatic differentiation☆48Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 3 months ago
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Certified Machine Learning☆41Updated 4 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago