Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "typed-lambda-calculus" keyword

l1_ir 💰

L1 Intermediate Representation
52 versions - Latest release: 23 days ago - 2 dependent packages - 1 dependent repositories - 13.1 thousand downloads total - 7 stars on GitHub - 1 maintainer

Related Keywords

ast 1 jit 1 interpreter 1 compiler 1 ir 1 abstract-syntax-tree 1 functional-programming 1 intermediate-language 1 intermediate-representation 1 just-in-time 1 lsts 1 programming-language 1 rust 1 type-theory 1 whole-program-analysis 1