PyRank

Lambda Calculus Python Packages

Python packages with the GitHub topic lambda-calculus. Sorted by relevance, with stars and monthly downloads.
markomanninen
calchylus

Lambda Calculus with Hy - Docs: http://calchylus.readthedocs.io/

544 3 0
Deric-W
lambda-calculus

Python package for the lambda calculus

438 8 0
rawlins
lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

259 30 6
mroman42
imikrokosmos

A Jupyter kernel for the Mikrokosmos lambda interpreter

179 9 1
fritzo
pomagma

An inference engine for extensional lambda-calculus

151 2 0
Deric-W
lambda-repl

REPL for the lambda calculus

144 1 0
coderganesh
oruline

Convert any Python file into a single line of code.

69 7 1
jackrosenthal
lc

Beta reducer and shorthand representer for the λ-calculus

57 4 0