Repositories list

• catala-language-server

  Public
  Catala VSCode extension and LSP server

  TypeScript

  •

  Apache License 2.0

  •2•4•24•1•Updated Mar 20, 2026Mar 20, 2026

• catala-book

  Public
  Documentation book for Catala

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •3•1•1•2•Updated Mar 20, 2026Mar 20, 2026

• catala

  Public
  Programming language for literate programming law specification

  programming-languagelegislative-texts

  programming-languagelegislative-texts

  OCaml

  •

  Apache License 2.0

  •97•2.2k•68•8•Updated Mar 20, 2026Mar 20, 2026

• catala-website

  Public
  Source code for the website of the Catala language

  ReScript

  •

  Apache License 2.0

  •13•14•3•0•Updated Mar 18, 2026Mar 18, 2026

• catala-examples

  Public
  Collection of Catala programs

  Java

  •

  Apache License 2.0

  •5•10•0•0•Updated Mar 6, 2026Mar 6, 2026

• catala-format

  Public
  OCaml

  •

  Apache License 2.0

  •1•4•0•0•Updated Feb 23, 2026Feb 23, 2026

• tree-sitter-catala

  Public
  C

  •

  Apache License 2.0

  •0•3•1•0•Updated Feb 23, 2026Feb 23, 2026

• ninja_utils

  Public
  Small library used to generate Ninja build files

  OCaml

  •

  Apache License 2.0

  •0•6•0•0•Updated Feb 17, 2026Feb 17, 2026

• catleg

  Public
  Development tools for catala programming in the context of French legislative texts.

  Python

  •

  Apache License 2.0

  •2•4•2•1•Updated Nov 24, 2025Nov 24, 2025

• dates-calc

  Public
  Formally specified computations on dates

  F*

  •

  Apache License 2.0

  •1•13•0•2•Updated Oct 28, 2025Oct 28, 2025

• french-law

  Public
  Python

  •

  Apache License 2.0

  •3•7•0•0•Updated Jul 31, 2025Jul 31, 2025

• catala-web-assets

  Public
  Assets used by the website to render french law forms

  HTML

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 25, 2025Jul 25, 2025

• catala-formalization

  Public
  Coq

  •0•3•0•1•Updated Jun 3, 2025Jun 3, 2025

• catala-dsfr

  Public
  Web prototype for automated generation of individual explanations from Catala programs

  simulatorrescriptcatala+ 5

  simulatorrescriptcatalarescript-bindingsrescript-reactdsfrfrench-benefitsreact-dsfr

  ReScript

  •

  Apache License 2.0

  •0•1•6•0•Updated Jun 21, 2024Jun 21, 2024

• rescript-docx

  Public
  A ReScript wrapper for the docx lib

  docxrescript

  docxrescript

  ReScript

  •

  MIT License

  •1•1•0•0•Updated Jan 12, 2024Jan 12, 2024

• catala-explain

  Public
  A module for explicability from the trace of a catala program

  catalaexplicability

  catalaexplicability

  ReScript

  •

  Apache License 2.0

  •0•3•0•0•Updated Jan 12, 2024Jan 12, 2024