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
  ☆260Updated 3 weeks ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆68Updated 7 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 6 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• pedropramos / PyonR
  A Python implementation for Racket
  ☆149Updated 7 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆211Updated 2 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆155Updated this week
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆59Updated last year
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated 2 months ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆130Updated this week
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• racket / redex
  ☆94Updated 2 weeks ago
• mflatt / jit-demo
  ☆64Updated 8 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆194Updated 8 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆34Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 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
• racket / racket7
  ☆170Updated 7 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 8 years ago