PrototypeCommon
accordproject/ergo
Programming Language for Smart Legal Contracts
Archived: this repository is read-only
- Owner
- accordproject (organization)
- Stars
- Stars: 171
- Forks
- Forks: 55
- Language
- Coq
- License
- Apache-2.0
- Created
- 2018
- Topics
- legallanguagejavascriptergoergo-compilerlegaltechaccord-projectsmart-contractslegal-engineeringverification
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by accordproject
All 5 repos by accordproject- accordproject/template-archiveStars: 379TypeScriptAlpha
- accordproject/concertoStars: 219JavaScriptPrototype
- accordproject/web-componentsStars: 134JavaScriptPrototype
- accordproject/techdocsStars: 110CSSPrototype
Nearby in Coq
All Coq repos- clarus/coq-chick-blogStars: 181CoqPrototype
- ilyasergey/pnpStars: 178CoqPrototype
- jwiegley/coq-haskellStars: 171CoqPrototype
- discus-lang/ironStars: 145CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype