Programming Language for Smart Legal Contracts
-
Updated
Apr 9, 2023 - Coq
Programming Language for Smart Legal Contracts
Open-source prototype for deterministic, evidence-grounded screening under the EU AI Act, GDPR, and EU Data Act, with bilingual workflows, versioned rules, and traceable legal evidence.
A Web UI for creating, editing and testing Accord Project templates
personal site & writings.
My personal blog
Learn legal AI engineering by building real legal-tech products. An open-source lab for lawyers to learn coding, AI evaluation, safe tool use, and product architecture with Claude Code or Codex.
A Python-based risk management engine for calculating statutory filing deadlines under the Limitation Act, 1908 (Pakistan). Designed to bridge the gap between procedural law and automated legal workflows
Deterministic EU AI Act classifier with source-backed review rows, obligation links, dossier artifacts, and blocked external actions.
Deterministic legal function operating system: routing, SLAs, approval matrix, escalation, and a board-ready operations pack. Synthetic data only.
A curated list of primary sources, regulators, and open-source tools for EU financial regulation: MiCAR, DORA, MiFID II, PSD2, and the AI Act in financial services.
Versioned legal AI contract review benchmark harness for clause coverage, risk severity, citation grounding and hallucination checks.
DORA ICT third-party register and resilience governance workbench with review states and audit exports.
Supervised legal-operations workflow for typed intake, deterministic risk triage, reviewer routing and human-approved outputs.
rulebook concerning governance of network, arbitration, adjudication of disputes, and business continuity procedures and service level agreements to be met. #lexDAO is the on-chain equiv.
reasonably complete web3 project starter including decentralized application, governance and token engineering
Legal Agreements for representing Real Property rights on-chain 📄.
Cited GDPR Article 28 + Chapter V transfer checks; review packet with a gating state.
Starter template for drafting a MiCAR crypto-asset whitepaper with continuous linting. Use this template, fill in the sections, let CI flag every open disclosure.
Review-gated EU financial regulation horizon scanner with monitor review tables, proof packets, citations, and blocked delivery gates.
To associate your repository with the legal-engineering topic, visit your repo's landing page and select "manage topics."