Data

Tools

Indexes

Applications

Experiments

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

View the packages on the crates.io package registry that are tagged with the "typed-lambda-calculus" keyword.

l1_ir 💰
L1 Intermediate Representation
52 versions - Latest release: 25 days ago - 2 dependent packages - 1 dependent repositories - 55 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
compiler 1 jit 1 interpreter 1 ast 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