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 9 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Types for Python☆87Updated 7 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- Probabilistic Programming☆42Updated last week
- My sandbox for experimenting with solver algorithms.☆158Updated 4 months ago
- ☆71Updated 4 years ago
- ☆59Updated 11 years ago
- nanopass compiler framework for Racket☆192Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆162Updated 8 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- Tensorlang, a differentiable programming language based on TensorFlow☆292Updated 7 years ago
- The implementation of microKanren, a featherweight relational programming language☆313Updated 11 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 4 months ago
- surgical precision JIT compilers☆122Updated 8 years ago
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆409Updated 3 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆14Updated 7 months ago
- A less devious proof assistant☆226Updated 2 years ago
- Abstracting Definitional Interpreters☆72Updated 7 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆166Updated 8 years ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 4 months ago
- Generic graph library and algorithms for Racket.☆59Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A simple starting point for doing deep learning in Racket☆69Updated 5 years ago