oftenjames/iceVM
Register VM + Rocq compiler
GitHub repository with 19 stars and 0 forks.
Language: Rocq Prover
Topics: compiler, register, vm
24h trend summary
Trending score 0.45, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 19 stars and 0 forks.