Programming Language for Smart Legal Contracts
-
Updated
Apr 9, 2023 - Coq
Programming Language for Smart Legal Contracts
A Web UI for creating, editing and testing Accord Project templates
personal site & writings.
My personal blog
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
First Dapp (for BlockchainChallenge)
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.
Enablement artifacts for Legal AI: partner briefings, associate hands-on, adoption questionnaires, and workflow discovery.
MiCAR compliance checker for rate validation, risk flagging and audit reports using Google Gemini.
How the Anteroom regulatory corpus is reviewed, attributed, and kept current. anteroom.so
Data model and architectural discipline behind the Anteroom regulatory corpus. anteroom.so
Local-first OCR and document renaming utility with dry-run mode, sensitive filename guards and manifest rollback.
Legal AI adoption dashboard to monitor utilization, blockers, re-engagement, and product feedback.
Wordsmith — Edinburgh-based legal AI platform for in-house legal teams (Slack-native legal copilot)
DORA ICT third-party register and resilience governance workbench with review states and audit exports.
reasonably complete web3 project starter including decentralized application, governance and token engineering
Legal Agreements for representing Real Property rights on-chain 📄.
Public-safe legal operating layer for AI SaaS: contract intake, DPA triage, AI vendor review, launch governance and approval-gated risk reporting.
Source-verified MiCAR authorization workflow with redaction, audit logs, deterministic stub mode and lawyer-approved export gates.
Add a description, image, and links to the legal-engineering topic page so that developers can more easily learn about it.
To associate your repository with the legal-engineering topic, visit your repo's landing page and select "manage topics."