Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "assisted-reasoning" keyword
lambda_mountain 1.12.45 💰
Lambda Mountain234 versions - Latest release: about 13 hours ago - 2 dependent packages - 62.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 10 months ago - 32.6 thousand downloads total - 99 stars on GitHub - 1 maintainer
Related Keywords
compiler
2
lambda-calculus
2
type-checking
1
theorem-prover
1
rust
1
refinement-types
1
proof-assistant
1
parser
1
lsts
1
lint
1
lexer
1
language
1
lambda-calculus-interpreter
1
error-reporting
1
dependent-types
1
category-theory
1
ast
1
type
1
theorem
1
automated
1
proof
1
logic
1
programming-language-theory
1
functional-programming
1
programming-language
1
interpreter
1