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

lambda_mountain

Typed Macro Assembler (backed by Coq proofs-of-correctness)

Ecosystem
crates.io
Latest Release
1.16.40
over 1 year ago
Versions
415
Downloads
537,974 total
Dependent Packages
2
lsts 0.6.34 💰
Large Scale Type Systems
125 versions - Latest release: over 2 years ago - 144 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: over 2 years ago - 9.58 thousand downloads total - 2 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
Links
Registry crates.io
Source Repository
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:cargo/lambda_mountain
spec
License MIT
First Release over 2 years ago
Last Synced about 17 hours ago
Repository
Stars 7 on GitHub
Forks 0 on GitHub