crates.io "lambda-calculus" keyword
View the packages on the crates.io package registry that are tagged with the "lambda-calculus" keyword.
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: over 7 years ago - 1 dependent repositories - 28.9 thousand downloads total - 10 stars on GitHub - 1 maintainer
lambda_calculus 3.3.0
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust41 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 61.2 thousand downloads total - 130 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: over 2 years ago - 72.7 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
minilamb 0.1.1
A minimal lambda calculus library in Rust2 versions - Latest release: about 2 months ago - 495 downloads total - 0 stars on GitHub - 1 maintainer
lambdascript 0.2.4
Instructional program detailing the beta reduction of typed and untyped lambda terms19 versions - Latest release: 7 months ago - 20.8 thousand downloads total - 4 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 134 thousand downloads total - 99 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.42 thousand downloads total - 7 stars on GitHub - 1 maintainer
lambda_mountain 1.16.40 💰
Typed Macro Assembler (backed by Coq proofs-of-correctness)415 versions - Latest release: 12 months ago - 2 dependent packages - 505 thousand downloads total - 7 stars on GitHub - 1 maintainer
troth 0.1.0
A Simple λ-Calculus Interpreter1 version - Latest release: 4 months ago - 323 downloads total - 0 stars on GitHub - 1 maintainer
lamcal-repl 0.4.0
A lambda calculus command line repl6 versions - Latest release: almost 7 years ago - 8.56 thousand downloads total - 11 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 - 51.6 thousand downloads total - 31 stars on GitHub - 2 maintainers
lamcalc 1.2.0
A library for creating, parsing and evaluating lambda calculus14 versions - Latest release: about 2 years ago - 14.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
functional
6
parser
6
lambda
4
language
3
calculus
3
functional-programming
3
rust-library
3
rust
3
interpreter
3
theorem-prover
2
evaluator
2
wasm
2
programming-language-theory
2
parse
2
proof-assistant
2
programming-language
2
repl
2
assisted-reasoning
2
dependent-types
2
beta-reduction
2
mathematics
2
compiler
2
lambda-calculus-interpreter
2
interpret
1
vuejs
1
programming-language-development
1
lambda-calculus-evaluator
1
type-checking
1
refinement-types
1
lsts
1
lint
1
vitepress
1
tutorial
1
rust-macros
1
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
genetic
1
inference
1
learning
1
bayesian
1
sciene
1
math
1
evalute
1
binary
1
church
1
binaryformat
1
encoding
1
combinators
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
logic
1
type
1
theorem
1
automated
1
proof
1
ast
1
category-theory
1
error-reporting
1
lexer
1