PyRank

Lambda Calculus Python Packages

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

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

575 3 0
Deric-W
lambda-calculus

Python package for the lambda calculus

332 8 0
rawlins
lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

253 31 6
Deric-W
lambda-repl

REPL for the lambda calculus

138 1 0
mroman42
imikrokosmos

A Jupyter kernel for the Mikrokosmos lambda interpreter

128 9 1
fritzo
pomagma

Inference engine for extensional untyped λ-calculus

100 2 0
coderganesh
oruline

Convert any Python file into a single line of code.

54 6 1
jackrosenthal
lc

Beta reducer and shorthand representer for the λ-calculus

50 4 0