crates.io "lambda-calculus" keyword
View the packages on the crates.io package registry that are tagged with the "lambda-calculus" keyword.
lambdascript 0.2.4
Instructional program detailing the beta reduction of typed and untyped lambda terms19 versions - Latest release: 6 months ago - 20 thousand downloads total - 4 stars on GitHub - 1 maintainer
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: over 7 years ago - 1 dependent repositories - 27.3 thousand downloads total - 10 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
lambda_mountain 1.16.40 💰
Typed Macro Assembler (backed by Coq proofs-of-correctness)415 versions - Latest release: 10 months ago - 2 dependent packages - 487 thousand downloads total - 7 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: over 2 years ago - 1.36 thousand downloads total - 7 stars on GitHub - 1 maintainer
lamcal-repl 0.4.0
A lambda calculus command line repl6 versions - Latest release: almost 7 years ago - 8.3 thousand downloads total - 11 stars on GitHub - 1 maintainer
troth 0.1.0
A Simple λ-Calculus Interpreter1 version - Latest release: about 2 months ago - 231 downloads total - 0 stars on GitHub - 1 maintainer
programinduction 0.9.0
A library for program induction and learning representations.37 versions - Latest release: over 1 year ago - 3 dependent repositories - 49.7 thousand downloads total - 30 stars on GitHub - 2 maintainers
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: about 2 years ago - 66.8 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
lambda_calculus 3.3.0
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 56.7 thousand downloads total - 123 stars on GitHub - 1 maintainer
lamcalc 1.2.0
A library for creating, parsing and evaluating lambda calculus14 versions - Latest release: about 2 years ago - 14 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
functional
5
parser
5
lambda
4
language
3
calculus
3
functional-programming
3
rust-library
3
interpreter
3
rust
3
compiler
2
dependent-types
2
lambda-calculus-interpreter
2
proof-assistant
2
theorem-prover
2
programming-language
2
programming-language-theory
2
repl
2
mathematics
2
parse
2
assisted-reasoning
2
beta-reduction
2
vuejs
1
debruijn
1
wasm
1
combinatory-logic
1
church-encoding
1
combinators
1
proof-languages
1
proof-language
1
moonad
1
formality
1
type-theory
1
representation-learning
1
program-induction
1
pcfg
1
education
1
vitepress
1
tutorial
1
rust-macros
1
rust-macro
1
embedded-iterators-encoding
1
de-bruijn
1
lambda_calculus
1
lambda-expressions
1
de_bruijn_encoding
1
stump-fu-encoding
1
lambda-functions
1
lambda-interpreter
1
parigot-encoding
1
ski-combinators
1
reduction-strategies
1
scott-encoding
1
church
1
binary
1
binaryformat
1
encoding
1
type
1
theorem
1
automated
1
proof
1
logic
1
ast
1
category-theory
1
error-reporting
1
lexer
1
lint
1
lsts
1
refinement-types
1
type-checking
1
lambda-calculus-evaluator
1
programming-language-development
1
interpret
1
evalute
1
evaluator
1
math
1
sciene
1
bayesian
1
genetic
1
learning
1
inference
1
bayesian-inference
1
genetic-programming
1