Resources

Computational Law & Blockchain Overview:

Wikipedia, Legal Informatics (link)
Wikipedia, Computational Law (link)
Legalese, (At Least) 70 Years of Legal Informatics (bibliography) (link)
Trevor Bench-Cohen et al., A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (2012) (link)
Michael Genesereth, Computational Law: The Cop in the Backseat (2015) (link)
Harry Surden, Computable Contracts (2012) (link)
Nick Szabo, Smart Contracts: Building Blocks for Digital Markets (1996) (link)
Nadia Webster, NZ Better Rules Hack (2018) (link)

Pia Andrews, Tipping Points, Governments and GLAMs (2017) (link)
Vitalik Buterin, Decentralizing Everything (link)
Primavera de Filippi, Ethereum: Freenet or Skynet (2014) (link)
Dazza Greenwood, What is Computational Law? (2018) (link)
Madrid Legal Hackers, Smartcontracts y Blockchain con Legal Hackers (link) (Spanish)
Mark S. Miller, Computer Security as the Future of Law (1997) (link)
Jason Morris, How programming can make the law more accessible (2018) (link)
Harry Surden, Computable Contracts (2014) (link)
Meng Weng Wong, Smart Legal Contracts and Legal Smart Contracts (a history of digital contracts) (2018) (link)

OpenLaw

Site: https://openlaw.io/
Demo: https://www.youtube.com/watch?v=IYjbAbImVpY; OpenLaw tutorial
Docs: https://docs.openlaw.io/; API and open source libraries
Description: OpenLaw is a blockchain-based protocol for the creation and execution of legal agreements. Using OpenLaw, lawyers can more efficiently engage in transactional work and digitally sign and store legal agreements in a highly secure manner, all while leveraging next generation blockchain-based smart contracts. Using OpenLaw, you can create “legal templates” which can be enhanced using our “Legal Markup” language. Our Legal Markup language is akin to Wikipedia’s “wiki text” with greater functionality and enables anyone to wrap logic and other contextual information around traditional legal prose.

Accord Project Smart Legal Contract Template Studio

Site: https://studio.accordproject.org
Demo: https://vimeo.com/299949706
MIT Media Lab Explainer: https://www.youtube.com/watch?v=gOF3pSZIiQ8
Docs: https://docs.accordproject.org/, https://accord.gitbook.io/accord-project/
Description: The Accord Project is an open source, non-profit, initative working to transform contract management and contract automation by digitizing contracts. The Accord Project provides an open, industry-driven, specification and implementation for smart legal contracts that includes the leading law firms and blockchain technology organizations in the world. The Project has created the following Open Source software packages: Cicero, Ergo, Model Repository, Template Library, and Template Studio. All these software packages are under active development and we encourage companies and individuals to contribute requirements, documentation, issues and code.

Agreements Network

Site: https://agreements.network/
Demo: https://www.youtube.com/watch?v=kaR5JDzk0kE
Docs: https://docs.agreements.network/
Description: The Agreements Network is the legal layer for a networked world. Be part of the paradigm shift from legal services to legal products. Join the network, build products and services on top of it or reimagine what law looks like when it’s facilitated through technology. The possibilities are truly endless entering into this new paradigm.

RChain Smart Contracts

Site: https://www.rchain.coop
Demo (RSong): https://youtu.be/n9d_VYikg7M
Docs: https://github.com/mitmedialab/OpenMediaLegalHack/wiki/How-To-Use-RChain
Description: The open-source RChain project is building a decentralized, economic, censorship-resistant, public compute infrastructure and blockchain. It will host and execute programs popularly referred to as “smart contracts”. It will be trustworthy, scalable, concurrent, with proof-of-stake consensus and content delivery. RChain Developer features project-related tutorials and documentation, project planning information, events calendar, and information for how to engage with this project.

docassemble

Site: https://docassemble.org/
Demo: https://docassemble.org/demo.html
Docs: https://docassemble.org/docs.html
Description: docassemble is a platform for creating mobile-friendly web applications called Interviews that ask one question at a time in order to reach an end point. This end point may be the presentation of legal advice, the creation of a signed legal document, the submission of an application, or something else.

ERGO Lite (Open Source version of ErgoAI)

Site: http://flora.sourceforge.net/
Docs: http://flora.sourceforge.net/documentation.html
Description: ERGO Lite (formerly Flora-2) is a sophisticated object-based knowledge representation and reasoning system.
ERGO Lite is an open source subset of its commercial cousin called ERGO Reasoner, which contains many important extensions and enhancements to Flora-2, and is proprietary to Coherent Knowledge Systems. Flora-2 is implemented as a set of run-time libraries and a compiler that translates a unified language of F-logic, HiLog, Transaction
Logic, and defeasible reasoning into tabled Prolog code

QnA Markup

Site: https://www.qnamarkup.org/
Demo: https://youtu.be/RVhzQ1JVi3s
Docs: https://www.qnamarkup.org/syntax/
Description: QnA Markup (http://www.qnamarkup.org) is a simple computer language written for lawyers with little or no programming experience. It transforms blocks of text into interactive question and answer sessions (QnAs). These QnAs can be used as stand-alone expert systems or in the aid of rule-based document construction. Plus, they can be fun, and the entire project is open source. Among other things, that means free.

Stanford Worksheets

Site: http://worksheets.stanford.edu/homepage/index.php
Docs: http://worksheets.stanford.edu/homepage/about.php
Description: Worksheets are active forms. They enable users to view and modify small to medium-sized amounts of structured data. Data is presented on such forms in a manner most suited to the type of data involved – as charts, graphs, tables, type-in fields, checkboxes, and so forth. Changes to the data are checked for completeness and consistency with static and dynamic constraints. Consequences of changes are automatically computed and the data is modified to reflect these consequences. Examples of worksheets in use today include online tax forms, self-validating expense reports, product configuration worksheets, interactive educational exercises, interactive program planners, process simulations, puzzles, games, and so forth. Some of these are implemented as mobile or laptop applications; others take the form of web-based applications (i.e. web apps).