Pinned Repositories
catala
Programming language for literate programming law specification
catala-examples
Collection of Catala programs
catala-formalization
catala-format
catala-language-server
Catala VSCode extension and LSP server
catala-website
Source code for the website of the Catala language
catleg
Development tools for catala programming in the context of French legislative texts.
dates-calc
Formally specified computations on dates
french-law
ninja_utils
Small library used to generate Ninja build files
Catala domain-specific language's Repositories
CatalaLang/catala
Programming language for literate programming law specification
CatalaLang/dates-calc
Formally specified computations on dates
CatalaLang/catala-website
Source code for the website of the Catala language
CatalaLang/catala-examples
Collection of Catala programs
CatalaLang/french-law
CatalaLang/ninja_utils
Small library used to generate Ninja build files
CatalaLang/catala-explain
A module for explicability from the trace of a catala program
CatalaLang/catala-formalization
CatalaLang/catala-format
CatalaLang/catleg
Development tools for catala programming in the context of French legislative texts.
CatalaLang/catala-language-server
Catala VSCode extension and LSP server
CatalaLang/tree-sitter-catala
CatalaLang/catala-dsfr
Web prototype for automated generation of individual explanations from Catala programs
CatalaLang/rescript-docx
A ReScript wrapper for the docx lib
CatalaLang/catala-book
Documentation book for Catala
CatalaLang/catala-web-assets
Assets used by the website to render french law forms