lambda_mountain
Typed Macro Assembler (backed by Coq proofs-of-correctness)
Ecosystem
crates.io
crates.io
Latest Release
over 1 year ago
1.16.40
over 1 year ago
Versions
415
415
Downloads
537,974 total
537,974 total
Dependent Packages
2
2
lsts 0.6.34 💰
Large Scale Type Systems125 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 style8 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
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 |