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 2k 77

  2. catala-examples catala-examples Public

    Collection of Catala programs

    OCaml 6 5

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

    Catala VSCode extension and LSP server

    OCaml 1 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
  • catala-book Public

    Documentation book for Catala

    CatalaLang/catala-book’s past year of commit activity
    JavaScript 0 0 0 0 Updated Nov 10, 2024
  • catala Public

    Programming language for literate programming law specification

    CatalaLang/catala’s past year of commit activity
    OCaml 1,983 Apache-2.0 77 90 3 Updated Nov 8, 2024
  • catala-format Public
    CatalaLang/catala-format’s past year of commit activity
    Scheme 3 Apache-2.0 0 0 0 Updated Nov 8, 2024
  • catala-language-server Public

    Catala VSCode extension and LSP server

    CatalaLang/catala-language-server’s past year of commit activity
    OCaml 1 Apache-2.0 1 0 0 Updated Nov 8, 2024
  • catala-formalization Public
    CatalaLang/catala-formalization’s past year of commit activity
    Coq 3 0 0 3 Updated Nov 7, 2024
  • catala-examples Public

    Collection of Catala programs

    CatalaLang/catala-examples’s past year of commit activity
    OCaml 6 Apache-2.0 5 0 1 Updated Nov 6, 2024
  • tree-sitter-catala Public
    CatalaLang/tree-sitter-catala’s past year of commit activity
    JavaScript 2 Apache-2.0 0 1 0 Updated Oct 22, 2024
  • catala-website Public

    Source code for the website of the Catala language

    CatalaLang/catala-website’s past year of commit activity
    ReScript 9 Apache-2.0 11 3 5 Updated Oct 17, 2024
  • dates-calc Public

    Formally specified computations on dates

    CatalaLang/dates-calc’s past year of commit activity
    F* 12 Apache-2.0 1 1 0 Updated Oct 14, 2024
  • french-law Public
    CatalaLang/french-law’s past year of commit activity
    Python 6 Apache-2.0 2 0 0 Updated Sep 26, 2024
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…