PrototypeCommon
rocq-archive/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- Owner
- rocq-archive (organization)
- Stars
- Stars: 136
- Forks
- Forks: 42
- Language
- Coq
- License
- None
- Created
- 2016
- Topics
- coqserializationjsonsexpproof-assistantprotocolmachine-learning-api
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- accordproject/ergoStars: 171CoqPrototype
- discus-lang/ironStars: 145CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype
- rocq-community/coq-artStars: 131CoqPrototype
- verse-lab/ceramistStars: 127CoqPrototype