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.1k 79

  2. catala-examples catala-examples Public

    Collection of Catala programs

    OCaml 6 4

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

    Catala VSCode extension and LSP server

    OCaml 2 1

  4. dates-calc dates-calc Public

    Formally specified computations on dates

    F* 12 1

  5. catala-website catala-website Public

    Source code for the website of the Catala language

    ReScript 9 11

Repositories

Showing 10 of 16 repositories
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…