Ecosyste.ms: Packages

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

crates.io : lambda_mountain

Lambda Mountain

Registry - Source - Documentation - JSON
purl: pkg:cargo/lambda_mountain
Keywords: interpreter, programming-language, compiler, assisted-reasoning, functional-programming, lambda-calculus, programming-language-theory
License: MIT
Latest release: 1 day ago
First release: 11 months ago
Dependent packages: 2
Downloads: 64,108 total
Stars: 7 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/andrew-johnson-4
Last synced: about 13 hours ago

lsts 0.6.34 💰

Large Scale Type Systems
125 versions - Latest release: 10 months ago - 32.6 thousand downloads total - 99 stars on GitHub - 1 maintainer

lmgpt 0.1.5 💰

Use LM programs to drive ChatGPT in a functional style
8 versions - Latest release: 10 months ago - 1.86 thousand downloads total - 2 stars on GitHub - 1 maintainer