accordproject / ergo
Programming Language for Smart Legal Contracts
☆160Updated last year
Alternatives and similar repositories for ergo:
Users that are interested in ergo are comparing it to the libraries listed below
- Smart Legal Contracts & Templating System☆289Updated last year
- Accord Project Template Library☆82Updated 11 months ago
- Accord Project Model Repository☆29Updated 3 months ago
- A Web UI for creating, editing and testing Accord Project templates☆33Updated last year
- Shared Scala libraries for the OpenLaw project.☆103Updated 3 years ago
- Business schema language and runtime☆133Updated this week
- A plugin to allow users to interact with Accord Project templates directly in MS Word.☆21Updated 11 months ago
- Static assets for legalese.com☆71Updated 3 years ago
- OpenLaw Documentation☆93Updated 2 years ago
- A sample for IBM Blockchain platform that uses a Smart Legal Contract from clause.io☆27Updated 3 years ago
- A command line-based parameterized contracting tool☆46Updated last year
- The full CommonAccord.org website, including many of the sub repos.☆43Updated last week
- Domain Specific Languages for Computational Law☆70Updated last week
- A Lem formalization of EVM and some Isabelle/HOL proofs☆239Updated 2 years ago
- Obsidian language development☆78Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 2 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- Scilla - A Smart Contract Intermediate Level Language☆247Updated 3 months ago
- An app for collaborative networks (DAOs), based on the DAO stack.☆144Updated last year
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 3 years ago
- Self Sovereign Identity Curated☆182Updated 2 months ago
- ☆45Updated 2 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- ☆134Updated 8 months ago
- A user-friendly web-based tool for Rules as Code.☆112Updated 3 months ago
- The Augur Project Whitepaper☆44Updated 2 years ago
- Main repository for the Research Programme in Computational Law☆32Updated 7 months ago
- VS Code extension for editing Accord Project artifacts☆15Updated last year
- Tau Meta-Language☆122Updated last year
- The SAFT forms☆138Updated 7 years ago