PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
Deric-W
lambda-calculus

Python package for the lambda calculus

867 8 0
rawlins
lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

359 30 6
markomanninen
calchylus

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

332 3 0
fritzo
pomagma

Inference engine for extensional untyped λ-calculus

191 2 0
mroman42
imikrokosmos

A Jupyter kernel for the Mikrokosmos lambda interpreter

186 9 1
Deric-W
lambda-repl

REPL for the lambda calculus

169 1 0
coderganesh
oruline

Convert any Python file into a single line of code.

76 7 1
jackrosenthal
lc

Beta reducer and shorthand representer for the λ-calculus

58 4 0