accordproject/ergo — 169 Stars | GitRepoTrend

ergo

Coq

Programming Language for Smart Legal Contracts

Last updated Jun 21, 2026

169

Stars

55

Forks

49

Issues

0

Stars/day

Attention Score

59

View on GitHub ↗ Open in github.dev

Topics

#accord-project #blockchain #corda #digital-asset #ergo #ergo-compiler #ethereum #hacktoberfest #hyperledger #javascript #language #legal #legal-engineering #legaltech #smart-contracts #tezos #verification

Language breakdown

Coq 47.5%

JavaScript 26.5%

OCaml 10.6%

Emacs Lisp 4.7%

Gherkin 3.3%

Java 3.0%

▸ Files click to expand

README

No README available.

🔗 More in this category