Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "lambda-calculus" keyword
lambda_mountain 1.12.49 💰
Lambda Mountain Compiler Backend / Programming Language Scaffolding279 versions - Latest release: 17 days ago - 2 dependent packages - 79.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 11 months ago - 37.8 thousand downloads total - 99 stars on GitHub - 1 maintainer
lambda_calculus 3.2.2
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 26 thousand downloads total - 97 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: about 1 year ago - 19.5 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
lambdascript 0.2.1
Educational tool illustrating beta reduction of typed and untyped lambda terms, parser generation17 versions - Latest release: 4 months ago - 4.76 thousand downloads total - 2 stars on GitHub - 1 maintainer
programinduction 0.9.0
A library for program induction and learning representations.37 versions - Latest release: 6 months ago - 3 dependent repositories - 22.2 thousand downloads total - 29 stars on GitHub - 2 maintainers
lamcalc 1.2.0
A library for creating, parsing and evaluating lambda calculus14 versions - Latest release: 11 months ago - 3.66 thousand downloads total - 6 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: over 1 year ago - 363 downloads total - 5 stars on GitHub - 1 maintainer
lamcal-repl 0.4.0
A lambda calculus command line repl6 versions - Latest release: over 5 years ago - 3.54 thousand downloads total - 9 stars on GitHub - 1 maintainer
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: over 6 years ago - 1 dependent repositories - 12.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
lambda
4
functional
4
parser
4
rust-library
3
functional-programming
3
calculus
3
rust
3
language
3
repl
2
parse
2
beta-reduction
2
mathematics
2
theorem-prover
2
proof-assistant
2
lambda-calculus-interpreter
2
dependent-types
2
interpreter
2
assisted-reasoning
2
programming-language-theory
2
compiler
2
programming-language
2
rust-macro
1
de-bruijn
1
de_bruijn_encoding
1
lambda_calculus
1
representation-learning
1
program-induction
1
pcfg
1
genetic-programming
1
bayesian-inference
1
bayesian
1
learning
1
inference
1
genetic
1
error-reporting
1
rust-macros
1
tutorial
1
vitepress
1
vuejs
1
wasm
1
lambda-calculus-evaluator
1
programming-language-development
1
evalute
1
interpret
1
evaluator
1
math
1
sciene
1
binary
1
church
1
binaryformat
1
encoding
1
lexer
1
lint
1
lsts
1
category-theory
1
ast
1
refinement-types
1
proof
1
automated
1
type-checking
1
theorem
1
type
1
combinators
1
logic
1
church-encoding
1
combinatory-logic
1
debruijn
1
embedded-iterators-encoding
1
lambda-expressions
1
lambda-functions
1
lambda-interpreter
1
parigot-encoding
1
reduction-strategies
1
scott-encoding
1
ski-combinators
1
stump-fu-encoding
1
type-theory
1
formality
1
moonad
1
proof-language
1
proof-languages
1
education
1