Instructions file CodexOpenCode
Instructions for scidonia/rocq-piler, covering rocq-piler, rules, tools, build & test and benchmarks.
8 28d ago A 706 tokens
original Apache-2.0
8Stars on the repository
2Mods indexed here, across every type
28d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown