pypi.org "lambda-calculus" keyword
View the packages on the pypi.org package registry that are tagged with the "lambda-calculus" keyword.
lc 0.1
Beta reducer and shorthand representer for the λ-calculus1 version - Latest release: about 7 years ago - 5 dependent repositories - 34 downloads last month - 4 stars on GitHub - 1 maintainer
oruline 1.0.5
Convert any Python file into a single line of code.3 versions - Latest release: over 6 years ago - 1 dependent repositories - 7 downloads last month - 4 stars on GitHub - 1 maintainer
lambda-notebook 0.7.1
Tools for linguistic semantics (lambda calculus, logic, etc), aimed at Jupyter6 versions - Latest release: 5 months ago - 1 dependent repositories - 43 downloads last month - 27 stars on GitHub - 1 maintainer
lambda-calculus 3.1.0
Implementation of the Lambda calculus12 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 51 downloads last month - 6 stars on GitHub - 1 maintainer
pomagma 0.3.1
An inference engine for extensional lambda-calculus6 versions - Latest release: 2 months ago - 2 dependent repositories - 54 downloads last month - 17 stars on GitHub - 1 maintainer
imikrokosmos 0.1.8
A Jupyter kernel for the mikrokosmos lambda interpreter9 versions - Latest release: about 7 years ago - 1 dependent repositories - 22 downloads last month - 9 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: over 6 years ago - 1 dependent repositories - 29 downloads last month - 3 stars on GitHub - 1 maintainer
lambda-repl 1.2.0
REPL for the lambda calculus3 versions - Latest release: over 2 years ago - 20 downloads last month - 1 stars on GitHub - 1 maintainer
Related Keywords
lambda
2
jupyter-notebook
2
python
2
education
2
python3
2
jupyter
1
linguistics
1
semantics
1
inference-engine
1
theorem-proving
1
hylang
1
functional-programming
1
hy
1
lisp
1
logic-programming
1
lambda-calculus-interpreter
1
read-eval-print-loop
1
repl
1
digital-fragments
1
python-script
1
pypi-source
1
pypi-packages
1
pypi
1
pip3
1
pip
1
oruline
1
single
1
oneline
1
short
1
oneliner
1
obfuscate
1
teaching
1
calculus
1