accordproject / ergoLinks
Programming Language for Smart Legal Contracts
☆161Updated 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☆297Updated 2 months ago
- Accord Project Model Repository☆30Updated 3 weeks ago
- Accord Project Template Library☆82Updated last year
- A Web UI for creating, editing and testing Accord Project templates☆33Updated 2 years ago
- Business schema language and runtime☆146Updated 3 weeks ago
- Static assets for legalese.com☆70Updated 4 years ago
- Shared Scala libraries for the OpenLaw project.☆104Updated 3 years ago
- A sample for IBM Blockchain platform that uses a Smart Legal Contract from clause.io☆27Updated 4 years ago
- OpenLaw Documentation☆95Updated 2 years ago
- Domain Specific Languages for Computational Law☆75Updated 3 months ago
- A miniature version of the l4 language☆12Updated 10 months ago
- Shared JavaScript libraries for the OpenLaw project.☆41Updated 2 years ago
- The full CommonAccord.org website, including many of the sub repos.☆45Updated last month
- Caterpillar: A BPMN-based BPMS for Ethereum☆124Updated 2 years ago
- Scilla - A Smart Contract Intermediate Level Language☆249Updated 2 weeks ago
- Obsidian language development☆80Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago
- Main repository for the Research Programme in Computational Law☆32Updated 10 months ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- The start page about my efforts around smart contract verification☆298Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- ☆44Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆241Updated 3 years ago
- A plugin to allow users to interact with Accord Project templates directly in MS Word.☆21Updated last year
- Get started with Colony quickly☆63Updated 2 years ago
- The SAFT forms☆138Updated 7 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆156Updated 4 years ago
- Tau Meta-Language☆122Updated 2 years ago
- A user-friendly web-based tool for Rules as Code.☆116Updated 7 months ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago