PrototypeCommune
accordproject/ergo
Programming Language for Smart Legal Contracts
Archivé : ce dépôt n’évolue plus
- Propriétaire
- accordproject (organisation)
- Étoiles
- Étoiles : 171
- Forks
- Forks : 55
- Langage
- Coq
- Licence
- Apache-2.0
- Création
- 2018
- Sujets
- legallanguagejavascriptergoergo-compilerlegaltechaccord-projectsmart-contractslegal-engineeringverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de accordproject
Les 5 dépôts de accordproject- accordproject/template-archiveÉtoiles : 379TypeScriptAlpha
- accordproject/concertoÉtoiles : 218JavaScriptPrototype
- accordproject/web-componentsÉtoiles : 134JavaScriptPrototype
- accordproject/techdocsÉtoiles : 110CSSPrototype
D’autres dépôts Coq
Tous les dépôts Coq- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
- ilyasergey/pnpÉtoiles : 178CoqPrototype
- jwiegley/coq-haskellÉtoiles : 171CoqPrototype
- discus-lang/ironÉtoiles : 145CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype