Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "lsts" keyword
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
l1_ir 💰
L1 Intermediate Representation52 versions - Latest release: 15 days ago - 2 dependent packages - 1 dependent repositories - 13.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
l1ir-rust 💰
L1 Intermediate Representation to Rust compiler1 version - Latest release: 20 days ago - 287 downloads total - 1 stars on GitHub - 1 maintainer
l1-dfa 0.1.1 💰
Deterministic Finite-State Automata Library for Rust, written in L112 versions - Latest release: about 1 year ago - 2.77 thousand downloads total - 2 stars on GitHub - 1 maintainer
Related Keywords
rust
4
ast
3
compiler
3
ir
2
lint
2
language
2
logic
1
functional-programming
1
intermediate-language
1
intermediate-representation
1
just-in-time
1
programming-language
1
type-theory
1
typed-lambda-calculus
1
whole-program-analysis
1
minifier
1
aot
1
l1ir
1
automata
1
finite
1
dfa
1
regex
1
algorithm
1
data-structure
1
regex-engine
1
regex-parser
1
proof
1
automated
1
theorem
1
type
1
assisted-reasoning
1
category-theory
1
dependent-types
1
error-reporting
1
lambda-calculus
1
lambda-calculus-interpreter
1
lexer
1
parser
1
proof-assistant
1
refinement-types
1
theorem-prover
1
type-checking
1
jit
1
interpreter
1
abstract-syntax-tree
1