ecstasygg/remy
Verified pixel compiler for TempleOS in Isabelle/HOL
GitHub repository with 8 stars and 2 forks.
Language: Isabelle
Topics: compiler, templeos, verified
24h trend summary
Trending score 0.73, freshness score 0.73, stars gained +3, forks gained +1.
Latest metric snapshot
2026-11-02: 8 stars and 2 forks.