smucclaw / l4-ideLinks
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.
☆21Updated this week
Alternatives and similar repositories for l4-ide
Users that are interested in l4-ide are comparing it to the libraries listed below
Sorting:
- Claude skills for Lean 4 theorem proving☆68Updated last week
- LLM-powered typed-holes☆51Updated 8 months ago
- Haskell bindings to llama.cpp☆12Updated 2 years ago
- A monad for interfacing with external SMT solvers☆15Updated last month
- (early experiments toward) a version-control system for structured data☆18Updated 2 years ago
- Generate ER-diagram using SQL file☆17Updated last year
- Data-linked visualisations☆58Updated this week
- Distributors - Unifying Parsers, Printers & Grammars☆60Updated 3 weeks ago
- A curated list of projects and resources using BAML☆17Updated 5 months ago
- string diagrams for the working programmer☆14Updated 2 years ago
- ☆10Updated last month
- ☆19Updated 5 months ago
- ☆11Updated 2 years ago
- A miniature version of the l4 language☆13Updated 6 months ago
- AI-assisted verification of Dafny Programs☆17Updated 2 months ago
- ☆34Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆15Updated last week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Updated 4 years ago
- How to read Lean☆22Updated 11 months ago
- ☆16Updated last year
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆112Updated last week
- Very controlled natural language tactics for Lean☆66Updated last year
- A template for blueprint-driven formalization projects in Lean.☆84Updated this week
- tool for turning Lean proofs into Blender animations☆80Updated 3 weeks ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 6 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- Agda category theory library for denotational design☆56Updated 2 months ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆63Updated last year