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: 12 months ago - 22.3 thousand downloads total - 4 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 - 75.9 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
csw-generate 0.1.0
Code generation for the Categorical Semantics Workbench - generate type checkers and interpreters...1 version - Latest release: about 2 months ago - 54 downloads total - 1 maintainer
csw-derive 0.1.0
Type system derivation engine for the Categorical Semantics Workbench - derive type theories from...1 version - Latest release: about 2 months ago - 70 downloads total - 1 maintainer
csw-core 0.1.0
Core categorical structures for the Categorical Semantics Workbench - define categories and deriv...1 version - Latest release: about 2 months ago - 86 downloads total - 1 maintainer
lamcalc 1.2.0
A library for creating, parsing and evaluating lambda calculus14 versions - Latest release: over 2 years ago - 16.2 thousand downloads total - 9 stars on GitHub - 1 maintainer
csw-cli 0.1.0
Command-line interface for the Categorical Semantics Workbench1 version - Latest release: about 2 months ago - 32 downloads total - 1 maintainer
troth 0.1.0
A Simple λ-Calculus Interpreter1 version - Latest release: 8 months ago - 513 downloads total - 0 stars on GitHub - 1 maintainer
minilamb 0.1.1
A minimal lambda calculus library in Rust2 versions - Latest release: 6 months ago - 874 downloads total - 0 stars on GitHub - 1 maintainer
lamb 0.1.0
Pure untyped lambda calculus in safe Rust.1 version - Latest release: about 3 years ago - 1.57 thousand downloads total - 7 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: over 2 years ago - 144 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: over 1 year ago - 2 dependent packages - 536 thousand downloads total - 7 stars on GitHub - 1 maintainer
lamcal-repl 0.4.0
A lambda calculus command line repl6 versions - Latest release: over 7 years ago - 9.17 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: about 2 years ago - 3 dependent repositories - 54.9 thousand downloads total - 31 stars on GitHub - 2 maintainers
lambda_calculus 3.4.0
A simple, zero-dependency implementation of pure lambda calculus in Safe Rust42 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 65.3 thousand downloads total - 130 stars on GitHub - 1 maintainer
blc 0.6.0
An implementation of the binary lambda calculus.17 versions - Latest release: about 8 years ago - 1 dependent repositories - 30.1 thousand downloads total - 10 stars on GitHub - 1 maintainer
Related Keywords
functional
6
parser
6
compiler
6
type-theory
5
category-theory
5
lambda
4
linear-types
4
calculus
3
rust
3
language
3
rust-library
3
functional-programming
3
interpreter
3
beta-reduction
2
wasm
2
evaluator
2
repl
2
programming-language
2
lambda-calculus-interpreter
2
mathematics
2
programming-language-theory
2
assisted-reasoning
2
proof-assistant
2
dependent-types
2
theorem-prover
2
parse
2
math
1
sciene
1
bayesian
1
genetic
1
learning
1
inference
1
bayesian-inference
1
genetic-programming
1
encoding
1
pcfg
1
program-induction
1
representation-learning
1
combinators
1
church-encoding
1
reduction-strategies
1
combinatory-logic
1
scott-encoding
1
binaryformat
1
debruijn
1
binary
1
church
1
stump-fu-encoding
1
parigot-encoding
1
ski-combinators
1
embedded-iterators-encoding
1
lambda-expressions
1
lambda-functions
1
lambda-interpreter
1
education
1
formality
1
moonad
1
proof-language
1
proof-languages
1
de_bruijn_encoding
1
lambda_calculus
1
de-bruijn
1
rust-macro
1
rust-macros
1
tutorial
1
vitepress
1
vuejs
1
lambda-calculus-evaluator
1
programming-language-development
1
type
1
theorem
1
automated
1
proof
1
logic
1
ast
1
error-reporting
1
lexer
1
lint
1
lsts
1
refinement-types
1
type-checking
1
interpret
1
evalute
1