L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.
☆24Mar 2, 2026Updated last week
Alternatives and similar repositories for l4-ide
Users that are interested in l4-ide are comparing it to the libraries listed below
Sorting:
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆21Mar 22, 2022Updated 3 years ago
- Examples for Streamly☆30Sep 20, 2025Updated 5 months ago
- Widgets to make it easy to add labels☆48Nov 18, 2025Updated 3 months ago
- This SDK allows web-based apps/pages to interact with dictation devices☆17Feb 12, 2026Updated 3 weeks ago
- Test interactive Haskell examples☆34Updated this week
- Using docker swarm creating the replica of account-service micro service and load balancing the requests using haproxy docker container (…☆13Apr 20, 2019Updated 6 years ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Main repository for the Research Programme in Computational Law☆37Jul 10, 2024Updated last year
- Flake template for Haskell repository☆38Oct 1, 2024Updated last year
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆35Feb 20, 2026Updated 2 weeks ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- ☆11Nov 18, 2020Updated 5 years ago
- ☆10Feb 12, 2026Updated 3 weeks ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆26Oct 2, 2025Updated 5 months ago
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- ☆12May 24, 2025Updated 9 months ago
- ☆16May 26, 2024Updated last year
- ☆10Mar 5, 2024Updated 2 years ago
- UC Berkeley Legal Studies 123 Spring 2022☆14May 28, 2025Updated 9 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- ☆50Oct 2, 2025Updated 5 months ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- Repo Manifests for the Yocto Project Build System for reproducible TEE builds☆10Nov 26, 2025Updated 3 months ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Semantic Ranking Solution for Azure Database for PostgreSQL☆14Apr 29, 2025Updated 10 months ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 2 months ago
- A wildfire map built with Protomaps and MapLibre☆14Nov 18, 2024Updated last year
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- A svelte wrapper for the p5.js library☆10Jul 2, 2023Updated 2 years ago
- Some of my tools for paperless-ngx, for example title generation☆11Jul 10, 2024Updated last year
- An MCP server for Google Scholar written in TypeScript with Streamable HTTP☆19Aug 18, 2025Updated 6 months ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Code to reproduce the material covered in Kùzu's YouTube tutorials☆20Oct 10, 2025Updated 4 months ago
- An LLM Agent allowing users to ask natural language questions and get answers about SEC fillings of their choice companies as well as fin…☆12Feb 27, 2024Updated 2 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated 4 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- NextDNS recommended settings.☆12Nov 13, 2021Updated 4 years ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 11 months ago