Skip to content
@CatalaLang

Catala domain-specific language

Software for the Catala domain-specific language

Pinned Loading

  1. catala catala Public

    Programming language for literate programming law specification

    OCaml 2.4k 114

  2. catala-examples catala-examples Public

    Collection of Catala programs

    OCaml 18 8

  3. catala-language-server catala-language-server Public

    Catala VSCode extension and LSP server

    TypeScript 4 5

  4. dates-calc dates-calc Public

    Formally specified computations on dates

    F* 14 1

  5. catala-website catala-website Public

    Source code for the website of the Catala language

    ReScript 18 13

Repositories

Showing 10 of 17 repositories
  • catala-language-server Public

    Catala VSCode extension and LSP server

    CatalaLang/catala-language-server's past year of commit activity
    TypeScript 4 Apache-2.0 5 25 5 Updated Oct 19, 2026
  • catala Public

    Programming language for literate programming law specification

    CatalaLang/catala's past year of commit activity
    OCaml 2,424 Apache-2.0 114 68 13 Updated Oct 19, 2026
  • catala-website Public

    Source code for the website of the Catala language

    CatalaLang/catala-website's past year of commit activity
    ReScript 18 Apache-2.0 13 3 2 Updated Oct 18, 2026
  • catala-book Public

    Documentation book for Catala

    CatalaLang/catala-book's past year of commit activity
    JavaScript 2 CC-BY-4.0 6 2 1 Updated Oct 16, 2026
  • installers Public

    Catala installers

    CatalaLang/installers's past year of commit activity
    PowerShell 0 Apache-2.0 0 1 0 Updated Oct 8, 2026
  • tree-sitter-catala Public
    CatalaLang/tree-sitter-catala's past year of commit activity
    C 5 Apache-2.0 1 1 0 Updated Oct 7, 2026
  • catala-format Public
    CatalaLang/catala-format's past year of commit activity
    OCaml 4 Apache-2.0 2 0 0 Updated Oct 1, 2026
  • catala-examples Public

    Collection of Catala programs

    CatalaLang/catala-examples's past year of commit activity
    OCaml 18 Apache-2.0 9 0 0 Updated Sep 25, 2026
  • ninja_utils Public

    Small library used to generate Ninja build files

    CatalaLang/ninja_utils's past year of commit activity
    OCaml 6 Apache-2.0 0 0 0 Updated Aug 19, 2026
  • catleg Public

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

    CatalaLang/catleg's past year of commit activity
    Python 5 Apache-2.0 2 2 1 Updated Jun 2, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

catala rescript