blam
blam — binary lambda machine: classical and quantum algorithmic information theory in binary lambda calculus. Exhaustive censuses, BBλ frontiers, Ω/K measurements, Lean-checked divergence certificates.
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 4
- Cadence
- ~3 days
- Last 12 months
- 4
Reach
- Downloads
- 33
- Stars
- 0
Details
- License
- unknown
- First release
- Aug 03, 2026
Releases
| Version | Released | |
|---|---|---|
2.1.0
minor
| ||
2.0.0
major
| ||
1.0.1
patch
| ||
1.0.0
initial
|