Agile Law Execution Factory
☆31Nov 13, 2026Updated this week
Alternatives and similar repositories for ALEF
Users that are interested in ALEF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mostly model related components☆17Updated this week
- Adding declarative, reactive and incremental rules to MPS☆21Updated this week
- jdclare - a declarative engine by the Modeling Value Group☆11Jan 14, 2020Updated 6 years ago
- Hardella: IDE for Programmable Logic Controllers (ST 61131 & Co)☆24Nov 11, 2018Updated 8 years ago
- Main repository for the Research Programme in Computational Law☆39Jul 10, 2024Updated 2 years ago
- 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.
- A miniature version of the l4 language☆13Jun 29, 2025Updated last year
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Mar 29, 2024Updated 2 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Nov 4, 2026Updated last week
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- Aotearoa New Zealand legislation as code☆14May 5, 2025Updated last year
- ☆43Aug 23, 2026Updated 2 months ago
- Top-down interpreter for ASP programs with Constraints☆48Updated this week
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- Repository for the new, shadow-model based evolution of KernelF☆10Oct 2, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Logical English 2: rules, contracts and regulations written in English that a computer runs and explains. Every answer with its reasons, …☆16Updated this week
- ☆19Jan 16, 2024Updated 2 years ago
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 3 months ago
- The code used to create and update the Open Australian Legal Embeddings, the first open-source embeddings of Australian legislative and j…☆16Feb 17, 2024Updated 2 years ago
- Code Review for JetBrains MPS providing integration with Bitbucket☆16Apr 8, 2023Updated 3 years ago
- Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.☆16Nov 2, 2026Updated last week
- A user-friendly web-based tool for Rules as Code.☆160Nov 1, 2024Updated 2 years ago
- ☆52May 14, 2026Updated 6 months ago
- MPS-extensions aims to ease language development within MPS.☆91Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MPS C# implementation☆35Nov 5, 2024Updated 2 years ago
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- Stop cluttering your chat apps with self-messages. Seamlessly share information between your mobile and PC without the mess.☆22Jan 19, 2026Updated 9 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Nov 6, 2026Updated last week
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 6 months ago
- Convert legal statutes and cases from official sources (or juris) to graphs☆33Sep 11, 2025Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Jun 24, 2017Updated 9 years ago
- Instant Search at Scale — Powered by Neon Postgres & ParadeDB's pg_search☆12Jan 28, 2026Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ECMAScript language implementation for JetBrains MPS☆41Jul 3, 2024Updated 2 years ago
- An Elixir client for Cloudflare Durable Objects with WebSocket support☆12Mar 25, 2026Updated 7 months ago
- Aotearoa New Zealand legislation as code☆45Mar 13, 2025Updated last year
- A streaming action language for computer-use agents. LLMs emit one JSON action per line; the executor runs each the moment its newline ar…☆20Aug 9, 2026Updated 3 months ago
- A fun TF2 server experiment focusing on game balance and reliability☆12Feb 7, 2026Updated 9 months ago
- Start modelling the tax and benefit system of your country in a few minutes.☆44Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆59Updated this week
Are these results useful?