Pinned Repositories
catala
Programming language for literate programming law specification
catala-examples
Collection of Catala programs
catala-explain
A module for explicability from the trace of a catala program
catala-formalization
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
tree-sitter-catala
CatalaLang'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/french-law
CatalaLang/ninja_utils
Small library used to generate Ninja build files
CatalaLang/catala-examples
Collection of Catala programs
CatalaLang/catala-explain
A module for explicability from the trace of a catala program
CatalaLang/catala-formalization
CatalaLang/tree-sitter-catala
CatalaLang/catala-dsfr
Web prototype for automated generation of individual explanations from Catala programs
CatalaLang/catala-language-server
Catala VSCode extension and LSP server
CatalaLang/catleg
Development tools for catala programming in the context of French legislative texts.
CatalaLang/rescript-docx
A ReScript wrapper for the docx lib
CatalaLang/catala-web-assets
Assets used by the website to render french law forms