obscurejames/span
Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts
GitHub repository with 6 stars and 0 forks.
Language: Isabelle
24h trend summary
Trending score 0.08, freshness score 0.64, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 6 stars and 0 forks.