Programming language for literate programming law specification
☆2,340Jul 4, 2026Updated this week
Alternatives and similar repositories for catala
Users that are interested in catala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler for the M language, used to compute the income tax of French taxpayers☆202Jan 20, 2026Updated 5 months ago
- Koka language compiler and interpreter☆3,945Jun 13, 2026Updated 3 weeks ago
- A modern proof language☆3,758Jan 22, 2025Updated last year
- Hazel, a live functional programming environment with typed holes☆1,106Jul 3, 2026Updated last week
- A purely functional programming language with first class types☆2,996Jun 22, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Proof-oriented Programming Language☆3,064Updated this week
- A Deductive Verification Tool for OCaml Programs☆85Jun 23, 2026Updated 2 weeks ago
- A friendly programming language from the future☆6,664Updated this week
- CakeML: A Verified Implementation of ML☆1,164Updated this week
- Realtime grep for OCaml/Coq sources available on opam☆90Sep 5, 2024Updated last year
- Dafny is a verification-aware programming language☆3,459Jun 22, 2026Updated 2 weeks ago
- The CompCert formally-verified C compiler☆2,188Updated this week
- The Flix Programming Language☆2,687Jul 1, 2026Updated last week
- Irmin is a distributed database that follows the same design principles as Git☆1,949Apr 15, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proof assistant based on the λΠ-calculus modulo rewriting☆394Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,108Sep 25, 2023Updated 2 years ago
- OCaml Language Server Protocol implementation☆908Jul 1, 2026Updated last week
- Embeddable Lambda Prolog Interpreter☆373Jun 25, 2026Updated 2 weeks ago
- Irmin-based Markdown Editor☆49Nov 10, 2022Updated 3 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆515Jun 22, 2026Updated 2 weeks ago
- A massively parallel, optimal functional runtime in Rust☆11,302Nov 21, 2024Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆447Jul 2, 2026Updated last week
- A data-parallel functional programming language☆2,749Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Type-checker for the λΠ-calculus modulo rewriting☆237Jul 1, 2026Updated last week
- A modern Prolog implementation written mostly in Rust.☆2,428Jul 1, 2026Updated last week
- Lean 4 programming language and theorem prover☆8,414Updated this week
- Systems language with linear types and capability-based security.☆1,544Jul 28, 2025Updated 11 months ago
- Base library and tools for ppx rewriters☆298Updated this week
- Lightweight document☆157Updated this week
- Maintainable configuration files☆4,460Jul 1, 2026Updated last week
- A functional programming language with static memory management☆1,010Updated this week
- Tidy, feature-complete Web framework☆1,866May 23, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A safe, easy systems language☆2,297Updated this week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,515Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆721Apr 20, 2026Updated 2 months ago
- A dynamic language and bytecode vm☆4,317Jul 1, 2026Updated last week
- Creusot helps you prove your Rust code is correct.☆1,788Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆5,973Jun 29, 2026Updated last week
- Memory-efficient data structures in OCaml☆36Dec 27, 2021Updated 4 years ago