PyRank

Lambda Calculus Python Packages

Python packages with the GitHub topic lambda-calculus. Sorted by relevance, with stars and monthly downloads.
Deric-W
lambda-repl

REPL for the lambda calculus

612 1 0
Deric-W
lambda-calculus

Python package for the lambda calculus

503 8 0
markomanninen
calchylus

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

451 3 0
rawlins
lambda-notebook

Tools for linguistic semantics (lambda calculus, logic, etc), aimed at Jupyter

406 30 6
fritzo
pomagma

An inference engine for extensional lambda-calculus

236 2 0
mroman42
imikrokosmos

A Jupyter kernel for the mikrokosmos lambda interpreter

206 9 1
coderganesh
oruline

Convert any Python file into a single line of code.

104 7 1
jackrosenthal
lc

Beta reducer and shorthand representer for the λ-calculus

77 4 0