Main repository for the Research Programme in Computational Law
☆39Jul 10, 2024Updated 2 years ago
Alternatives and similar repositories for complaw
Users that are interested in complaw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Domain Specific Languages for Computational Law☆82Jun 29, 2025Updated last year
- A user-friendly web-based tool for Rules as Code.☆159Nov 1, 2024Updated 2 years ago
- legal data in machine-readable form☆16Sep 13, 2026Updated last month
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Agile Law Execution Factory☆31Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Aotearoa New Zealand legislation as code☆14May 5, 2025Updated last year
- Decision Model & Notation in Markdown table format☆25Oct 22, 2026Updated 2 weeks ago
- noslegal taxonomy facets and release notes☆50May 29, 2026Updated 5 months ago
- ☁️ A network analysis software platform for analyzing Dutch and European court decisions.☆23Updated this week
- An implementation of Defeasible Deontic Logic in Answer Set Programming☆18May 25, 2026Updated 5 months ago
- Example rules as code implementations☆14Aug 27, 2020Updated 6 years ago
- Describe Toki Pona using Grammatical Framework☆12Jun 5, 2020Updated 6 years ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- An implementation of the ASPIC+ framework for structured argumentation.☆16Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source code and dataset for the CCKS2021 paper "Text-guided Legal Knowledge Graph Reasoning".☆23Jan 5, 2022Updated 4 years ago
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 3 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Logical English 2: rules, contracts and regulations written in English that a computer runs and explains. Every answer with its reasons, …☆14Updated this week
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago
- Top-down interpreter for ASP programs with Constraints☆48Oct 30, 2026Updated last week
- The goal of this project was to develop a chat-bot based data collection tool. It asks users questions through a validated alignment surv…☆13Feb 20, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Reading legal authority for the last time☆44Updated this week
- Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court☆12Jul 7, 2018Updated 8 years ago
- How readable is your text? Provide a text input and get its grade level. Validated against the source data.☆14Apr 13, 2026Updated 6 months ago
- LexGLUE: A Benchmark Dataset for Legal Language Understanding in English☆273Jul 23, 2025Updated last year
- ☆25Apr 21, 2021Updated 5 years ago
- A lightweight client to easily call MyInfo, contact Ken☆14Feb 14, 2026Updated 8 months ago
- A typeface based on directional signage found on Singapore's roads.☆18Jun 27, 2025Updated last year
- Work in progress to design data models for UK Parliament☆66Updated this week
- Mathematical terms, definitions, and propositions in as many languages as possible☆27Oct 30, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Collection of Idris snippets☆26Dec 23, 2025Updated 10 months ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- Python toolbox to load, parse and process Official Journals of the European Union (EU).☆26May 3, 2024Updated 2 years ago
- Program Specification in Lean 4☆27Jan 15, 2024Updated 2 years ago
- ☆23Jan 14, 2026Updated 9 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- LegalCrawler: A tool for automated scraping of English legal corpora☆66Aug 18, 2022Updated 4 years ago