CatalaLang / catala
Programming language for literate programming law specification
☆2,058Updated this week
Alternatives and similar repositories for catala:
Users that are interested in catala are comparing it to the libraries listed below
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,675Updated this week
- A modern proof language☆3,663Updated 3 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆823Updated last year
- Data interchange with algebraic data types.☆613Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,116Updated last month
- A purely functional programming language with first class types☆2,648Updated last week
- A friendly programming language from the future☆5,982Updated this week
- Systems language with linear types and capability-based security.☆1,265Updated 2 weeks ago
- Koka language compiler and interpreter☆3,484Updated this week
- Maintainable configuration files☆4,299Updated 2 weeks ago
- A modern Prolog implementation written mostly in Rust.☆2,194Updated this week
- A document language for the browser☆704Updated 9 months ago
- A programming language with static memory management based on λ-calculus☆996Updated last week
- Irmin is a distributed database that follows the same design principles as Git☆1,878Updated last month
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆3,602Updated 4 months ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆1,737Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆633Updated last year
- A fast and lightweight native programming language☆1,285Updated this week
- A safe, easy systems language☆1,974Updated last week
- PLDB: a Programming Language DataBase☆758Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,403Updated last year
- Better configuration for less☆2,559Updated this week
- A Proof-oriented Programming Language☆2,825Updated last week
- A modern commutative diagram editor for the web.☆3,232Updated 2 months ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,477Updated last month
- Compiler for the M language, used to compute the income tax of French taxpayers☆195Updated last week
- Dafny is a verification-aware programming language☆3,048Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,066Updated 7 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆867Updated 3 weeks ago
- Proving leftpad correct two-dozen different ways☆669Updated this week