Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "lambda-calculus" keyword
pomagma 0.2.6
An inference engine for extensional lambda-calculus5 versions - Latest release: over 8 years ago - 2 dependent repositories - 11 downloads last month - 17 stars on GitHub - 1 maintainer
imikrokosmos 0.1.8
A Jupyter kernel for the mikrokosmos lambda interpreter9 versions - Latest release: almost 6 years ago - 1 dependent repositories - 33 downloads last month - 9 stars on GitHub - 1 maintainer
oruline 1.0.5
Convert any Python file into a single line of code.3 versions - Latest release: almost 5 years ago - 1 dependent repositories - 11 downloads last month - 3 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: over 5 years ago - 1 dependent repositories - 115 downloads last month - 3 stars on GitHub - 1 maintainer
lc 0.1
Beta reducer and shorthand representer for the λ-calculus1 version - Latest release: almost 6 years ago - 5 dependent repositories - 22 downloads last month - 4 stars on GitHub - 1 maintainer
lambda-notebook 0.7.0
Tools for linguistic semantics (lambda calculus, logic, etc), aimed at Jupyter5 versions - Latest release: 9 months ago - 1 dependent repositories - 50 downloads last month - 23 stars on GitHub - 1 maintainer
lambda-repl 1.2.0
REPL for the lambda calculus3 versions - Latest release: about 1 year ago - 32 downloads last month - 1 stars on GitHub - 1 maintainer
lamb-engine 1.1.9
A lambda calculus engine6 versions - Latest release: about 1 year ago - 51 downloads last month - 1 stars on GitHub - 1 maintainer
lambda-calculus 3.1.0
Implementation of the Lambda calculus12 versions - Latest release: 2 months ago - 2 dependent packages - 1 dependent repositories - 138 downloads last month - 4 stars on GitHub - 1 maintainer
Related Keywords
python
3
education
3
lambda
3
jupyter-notebook
2
repl
2
python3
2
inference-engine
1
lisp
1
logic-programming
1
calculus
1
teaching
1
digital-fragments
1
jupyter
1
linguistics
1
semantics
1
lambda-calculus-interpreter
1
read-eval-print-loop
1
lambda-functions
1
mathematics
1
prompt-toolkit
1
theorem-proving
1
obfuscate
1
oneliner
1
short
1
oneline
1
single
1
oruline
1
pip
1
pip3
1
pypi
1
pypi-packages
1
pypi-source
1
python-script
1
hylang
1
functional-programming
1
hy
1