pypi.org "lambda-calculus" keyword
lambda-calculus 3.1.0
Implementation of the Lambda calculus12 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 155 downloads last month - 6 stars on GitHub - 1 maintainer
imikrokosmos 0.1.8
A Jupyter kernel for the mikrokosmos lambda interpreter9 versions - Latest release: over 7 years ago - 1 dependent repositories - 16 downloads last month - 9 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: about 7 years ago - 1 dependent repositories - 285 downloads last month - 3 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 - 11 downloads last month - 4 stars on GitHub - 1 maintainer
lambda-notebook 0.8.1
Tools for linguistic semantics (lambda calculus, logic, etc), aimed at Jupyter8 versions - Latest release: 3 months ago - 1 dependent repositories - 93 downloads last month - 27 stars on GitHub - 1 maintainer
pomagma 0.3.1
An inference engine for extensional lambda-calculus6 versions - Latest release: 8 months ago - 2 dependent repositories - 36 downloads last month - 17 stars on GitHub - 1 maintainer
lc 0.1
Beta reducer and shorthand representer for the λ-calculus1 version - Latest release: over 7 years ago - 5 dependent repositories - 17 downloads last month - 4 stars on GitHub - 1 maintainer
lambda-repl 1.2.0
REPL for the lambda calculus3 versions - Latest release: almost 3 years ago - 22 downloads last month - 1 stars on GitHub - 1 maintainer
Related Keywords
education
2
python3
2
jupyter-notebook
2
lambda
2
python
2
pypi-packages
1
pypi-source
1
python-script
1
digital-fragments
1
jupyter
1
linguistics
1
semantics
1
inference-engine
1
theorem-proving
1
calculus
1
teaching
1
lambda-calculus-interpreter
1
read-eval-print-loop
1
repl
1
pypi
1
pip3
1
pip
1
oruline
1
single
1
oneline
1
short
1
oneliner
1
obfuscate
1
logic-programming
1
lisp
1
hy
1
functional-programming
1
hylang
1