CatalaLang / catala
Programming language for literate programming law specification
☆2,040Updated this week
Alternatives and similar repositories for catala:
Users that are interested in catala are comparing it to the libraries listed below
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆818Updated 11 months ago
- Data interchange with algebraic data types.☆610Updated last week
- PLDB: a Programming Language DataBase☆749Updated this week
- Systems language with linear types and capability-based security.☆1,170Updated 8 months ago
- Just One Single History☆1,553Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆873Updated this week
- Maintainable configuration files☆4,270Updated last week
- Text compression for generating keyboard expansions☆1,410Updated last year
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆3,544Updated 2 months ago
- Better configuration for less☆2,513Updated this week
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,595Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,205Updated this week
- A document language for the browser☆703Updated 7 months ago
- A friendly programming language from the future☆5,930Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,107Updated last year
- A modern Prolog implementation written mostly in Rust.☆2,165Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,398Updated last year
- Koka language compiler and interpreter☆3,433Updated this week
- elfshaker stores binary objects efficiently☆2,302Updated 5 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,844Updated 9 months ago
- High-velocity, monorepo-scale workflow for Git☆3,598Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆626Updated 10 months ago
- A fast and lightweight native programming language☆1,263Updated this week
- Hazel, a live functional programming environment with typed holes☆892Updated this week
- an efficient awk-like language☆1,262Updated 6 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,240Updated this week
- A modern proof language☆3,633Updated last month
- A safe, easy systems language☆1,946Updated last week
- Compiler for the M language, used to compute the income tax of French taxpayers☆191Updated this week
- Proving leftpad correct two-dozen different ways☆666Updated 3 months ago