Giters
ergo-compiler
There are 0 repository under ergo-compiler topic.
accordproject
/
ergo
Programming Language for Smart Legal Contracts
legal
language
javascript
ergo
ergo-compiler
legaltech
accord-project
smart-contracts
legal-engineering
verification
blockchain
ethereum
hyperledger
corda
tezos
digital-asset
hacktoberfest
Language:
Coq
Stargazers:
157