Programming language for literate programming law specification
☆2,250Mar 27, 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☆198Jan 20, 2026Updated 2 months ago
- Koka language compiler and interpreter☆3,846Updated this week
- A modern proof language☆3,731Jan 22, 2025Updated last year
- Hazel, a live functional programming environment with typed holes☆1,081Updated this week
- A Deductive Verification Tool for OCaml Programs☆78Updated this week
- 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 purely functional programming language with first class types☆2,895Updated this week
- A Proof-oriented Programming Language☆2,988Updated this week
- A friendly programming language from the future☆6,559Updated this week
- Realtime grep for OCaml/Coq sources available on opam☆87Sep 5, 2024Updated last year
- CakeML: A Verified Implementation of ML☆1,128Updated this week
- Dafny is a verification-aware programming language☆3,338Mar 21, 2026Updated last week
- The Flix Programming Language☆2,599Mar 23, 2026Updated last week
- Proof assistant based on the λΠ-calculus modulo rewriting☆381Mar 14, 2026Updated 2 weeks ago
- Irmin is a distributed database that follows the same design principles as Git☆1,932Mar 20, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- a functional language for building type-safe, scalable, and maintainable applications☆1,098Sep 25, 2023Updated 2 years ago
- The CompCert formally-verified C compiler☆2,133Mar 20, 2026Updated last week
- OCaml Language Server Protocol implementation☆890Mar 22, 2026Updated last week
- Embeddable Lambda Prolog Interpreter☆355Mar 18, 2026Updated last week
- Irmin-based Markdown Editor☆49Nov 10, 2022Updated 3 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆501Updated this week
- A massively parallel, optimal functional runtime in Rust☆11,222Nov 21, 2024Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆425Updated this week
- Lean 4 programming language and theorem prover☆7,635Mar 23, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Type-checker for the λΠ-calculus modulo rewriting☆230Nov 25, 2025Updated 4 months ago
- A data-parallel functional programming language☆2,686Mar 23, 2026Updated last week
- Systems language with linear types and capability-based security.☆1,475Jul 28, 2025Updated 8 months ago
- A modern Prolog implementation written mostly in Rust.☆2,378Mar 20, 2026Updated last week
- Lightweight document☆148Mar 6, 2026Updated 3 weeks ago
- Maintainable configuration files☆4,432Mar 21, 2026Updated last week
- A programming language with static memory management based on λ-calculus☆1,011Updated this week
- Tidy, feature-complete Web framework☆1,833Feb 20, 2026Updated last month
- Base library and tools for ppx rewriters☆288Mar 20, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A safe, easy systems language☆2,207Updated this week
- A dynamic language and bytecode vm☆4,198Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆5,854Updated this week
- A categorical programming language with effects☆300Mar 6, 2023Updated 3 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,526Mar 23, 2026Updated last week
- Memory-efficient data structures in OCaml☆37Dec 27, 2021Updated 4 years ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,380Mar 22, 2026Updated last week