CatalaLang/catala

Programming language for literate programming law specification

Language: OCaml - Size: 62.6 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 2,149 - Forks: 87

CatalaLang/catala-website

Source code for the website of the Catala language

Language: ReScript - Size: 30 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 12 - Forks: 12

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

Language: OCaml - Size: 1.14 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 3 - Forks: 1

CatalaLang/dates-calc

Formally specified computations on dates

Language: F* - Size: 679 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 1

CatalaLang/catala-examples

Collection of Catala programs

Language: Java - Size: 15.8 MB - Last synced at: 2 days ago - Pushed at: 25 days ago - Stars: 9 - Forks: 4

CatalaLang/catala-format

Language: OCaml - Size: 34.1 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 4 - Forks: 1

CatalaLang/catala-book

Documentation book for Catala

Language: CSS - Size: 1.29 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 2

CatalaLang/tree-sitter-catala

Language: C - Size: 6.5 MB - Last synced at: 2 days ago - Pushed at: 29 days ago - Stars: 2 - Forks: 0

CatalaLang/ninja_utils

Small library used to generate Ninja build files

Language: OCaml - Size: 57.6 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 0

CatalaLang/catleg

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

Language: Python - Size: 159 KB - Last synced at: 2 days ago - Pushed at: 15 days ago - Stars: 3 - Forks: 2

CatalaLang/french-law

Language: Python - Size: 31.7 MB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 7 - Forks: 3

CatalaLang/catala-web-assets

Assets used by the website to render french law forms

Language: HTML - Size: 3.71 MB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

CatalaLang/catala-formalization

Language: Coq - Size: 1.4 MB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

CatalaLang/catala-dsfr

Web prototype for automated generation of individual explanations from Catala programs

Language: ReScript - Size: 2.56 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

CatalaLang/rescript-docx

A ReScript wrapper for the docx lib

Language: ReScript - Size: 86.9 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1

CatalaLang/catala-explain

A module for explicability from the trace of a catala program

Language: ReScript - Size: 120 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0