ecstasygg/span
Verified branch-relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts
GitHub repository with 18 stars and 3 forks.
Language: Isabelle
Topics: assembler, bytecode, hol, isabelle, provable
24h trend summary
Trending score 0.84, freshness score 0.82, stars gained +4, forks gained +0.
Latest metric snapshot
2026-11-02: 18 stars and 3 forks.