Alternatives and similar repositories for cps-python

Users that are interested in cps-python are comparing it to the libraries listed below

• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆274Updated 5 months ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 9 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆158Updated last week
• pedropramos / PyonR
  A Python implementation for Racket
  ☆151Updated 7 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆199Updated 2 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆44Updated 3 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324Updated 4 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated 2 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆320Updated 11 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 8 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆74Updated 8 years ago
• brownplt / lambda-py
  ☆59Updated 12 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆230Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆53Updated 3 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆167Updated 8 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 5 years ago
• the-little-prover / j-bob
  ☆436Updated last year
• sighingnow / parsec.py
  A universal Python parser combinator library inspired by Parsec library of Haskell.
  ☆228Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago