samrushing / cps-pythonLinks
CPS transform for Python
☆22Updated 12 years ago
Alternatives and similar repositories for cps-python
Users that are interested in cps-python are comparing it to the libraries listed below
Sorting:
- A rudimentary Racket implementation using RPython☆267Updated last month
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- ☆59Updated 11 years ago
- nanopass compiler framework for Racket☆190Updated last year
- A Python implementation for Racket☆150Updated 7 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- ☆72Updated 4 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 3 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Probabilistic Programming☆42Updated 3 weeks ago
- Types for Python☆87Updated 6 years ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆160Updated 7 months ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- A less devious proof assistant☆226Updated 2 years ago
- Canonical miniKanren implementation☆361Updated 7 years ago
- My sandbox for experimenting with solver algorithms.☆158Updated 4 months ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324Updated 4 years ago
- The implementation of microKanren, a featherweight relational programming language☆312Updated 11 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Tensorlang, a differentiable programming language based on TensorFlow☆292Updated 7 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- ☆138Updated 3 years ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆165Updated 8 years ago