accordproject / ergo
Programming Language for Smart Legal Contracts
☆158Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ergo
- Smart Legal Contracts & Templating System☆282Updated 10 months ago
- Accord Project Model Repository☆29Updated 2 weeks ago
- Accord Project Template Library☆83Updated 8 months ago
- Business schema language and runtime☆121Updated this week
- A Web UI for creating, editing and testing Accord Project templates☆33Updated last year
- Shared Scala libraries for the OpenLaw project.☆102Updated 3 years ago
- Accord Project Documentation☆61Updated 6 months ago
- Obsidian language development☆77Updated last year
- A command line-based parameterized contracting tool☆46Updated last year
- Domain Specific Languages for Computational Law☆69Updated last month
- Static assets for legalese.com☆71Updated 3 years ago
- Shared JavaScript libraries for the OpenLaw project.☆39Updated last year
- A plugin to allow users to interact with Accord Project templates directly in MS Word.☆21Updated 8 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆237Updated 2 years ago
- React Components for Accord Project☆121Updated 3 weeks ago
- A sample for IBM Blockchain platform that uses a Smart Legal Contract from clause.io☆27Updated 3 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- OpenLaw Documentation☆91Updated last year
- A user-friendly web-based tool for Rules as Code.☆105Updated 2 weeks ago
- Tau Meta-Language☆122Updated last year
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated last year
- Scilla - A Smart Contract Intermediate Level Language☆241Updated 2 weeks ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- Template Engine — converts TemplateMark + JSON data to AgreementMark☆11Updated 4 months ago
- Govbase is an open, crowdsourced database of projects and tools in online governance. Data hosted at https://airtable.com/shrgnUrj0dqzZDs…☆76Updated 3 months ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 3 years ago
- Public version of the Token Taxonomy Framework. This is a versioned mirror of the IWA TTF working group repo, no issues can be posted and…☆75Updated last month
- OCaml DSL for verifiable computation☆496Updated this week
- daml-on-sawtooth is an integration of the DAML smart contract runtime engine, created and open sourced by Digital Asset, with Hyperledger…☆27Updated 9 months ago
- DSL for Secure DApps☆33Updated last year