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☆290Updated this week
- Accord Project Template Library☆82Updated last year
- Accord Project Model Repository☆29Updated last week
- Shared Scala libraries for the OpenLaw project.☆103Updated 3 years ago
- Static assets for legalese.com☆70Updated 3 years ago
- Business schema language and runtime☆139Updated this week
- OpenLaw Documentation☆93Updated 2 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
- Obsidian language development☆79Updated last year
- Shared JavaScript libraries for the OpenLaw project.☆40Updated 2 years ago
- A sample for IBM Blockchain platform that uses a Smart Legal Contract from clause.io☆27Updated 3 years ago
- Govbase is an open, crowdsourced database of projects and tools in online governance. Data hosted at https://airtable.com/shrgnUrj0dqzZDs…☆76Updated 7 months ago
- The full CommonAccord.org website, including many of the sub repos.☆44Updated last month
- The SAFT forms☆138Updated 7 years ago
- ☆90Updated 7 years ago
- A command line-based parameterized contracting tool☆46Updated last year
- ☆45Updated 2 years ago
- Creating legal binding smart contracts (or trying to)☆22Updated 6 years ago
- A plugin to allow users to interact with Accord Project templates directly in MS Word.☆21Updated last year
- RWOT5 in Boston, Massachusetts (October 2017)☆184Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- Domain Specific Languages for Computational Law☆71Updated last month
- Tau Meta-Language☆121Updated last year
- The Cordentity app integrates Indy capabilities into the Corda platform.☆31Updated 2 years ago
- Scilla - A Smart Contract Intermediate Level Language☆247Updated 4 months ago
- OCaml DSL for verifiable computation☆499Updated 2 months ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- Get started with Colony quickly☆63Updated last year
- A curated collection of resources on smart contract programming languages☆244Updated last year