PrototypeCommune
rocq-archive/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- Propriétaire
- rocq-archive (organisation)
- Étoiles
- Étoiles : 136
- Forks
- Forks : 42
- Langage
- Coq
- Licence
- Aucune
- Création
- 2016
- Sujets
- coqserializationjsonsexpproof-assistantprotocolmachine-learning-api
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Coq
Tous les dépôts Coq- accordproject/ergoÉtoiles : 171CoqPrototype
- discus-lang/ironÉtoiles : 145CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- project-oak/silveroakÉtoiles : 133CoqPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype