accordproject / ergoLinks
Programming Language for Smart Legal Contracts
☆163Updated 2 years ago
Alternatives and similar repositories for ergo
Users that are interested in ergo are comparing it to the libraries listed below
Sorting:
- Smart Legal Contracts & Templating System☆308Updated last week
- Accord Project Model Repository☆31Updated last month
- Accord Project Template Library☆82Updated last year
- A Web UI for creating, editing and testing Accord Project templates☆33Updated 2 years ago
- Tau Meta-Language☆123Updated 2 years ago
- Obsidian language development☆80Updated 2 years ago
- Static assets for legalese.com☆69Updated 4 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- Shared Scala libraries for the OpenLaw project.☆106Updated 4 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 4 years ago
- Scilla - A Smart Contract Intermediate Level Language☆250Updated 4 months ago
- Business schema language and runtime☆151Updated last week
- ☆45Updated 3 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago
- OASIS LegalRuleML TC: GitHub repository for developing and distributing good examples in order to share knowledge about the correct appli…☆37Updated 5 years ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- ☆89Updated 7 years ago
- The full CommonAccord.org website, including many of the sub repos.☆47Updated 4 months ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated 2 years ago
- OpenLaw Documentation☆96Updated 2 years ago
- Shared JavaScript libraries for the OpenLaw project.☆41Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- A miniature version of the l4 language☆13Updated 2 months ago
- Language Design Community for the EVM: Intro and Resources☆136Updated 8 years ago
- OCaml DSL for verifiable computation☆502Updated 2 months ago
- Site for the open source, community-driven group of dev and organizations working toward an interoperable, decentralized identity ecosyst…☆109Updated this week
- Govbase is an open, crowdsourced database of projects and tools in online governance. Data hosted at https://airtable.com/shrgnUrj0dqzZDs…☆78Updated last year
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆66Updated 3 years ago