CatalaLang/catala

Programming language for literate programming law specification

Language: OCaml - Size: 62.2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2,107 - Forks: 84

CatalaLang/ninja_utils

Small library used to generate Ninja build files

Language: OCaml - Size: 57.6 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 5 - Forks: 0

CatalaLang/catala-format

Language: Tree-sitter Query - Size: 34.5 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 0

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

Language: OCaml - Size: 779 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 1

CatalaLang/catala-book

Documentation book for Catala

Language: JavaScript - Size: 1.12 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 1

CatalaLang/catala-website

Source code for the website of the Catala language

Language: ReScript - Size: 29.7 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 9 - Forks: 11

CatalaLang/catala-examples

Collection of Catala programs

Language: Java - Size: 12.2 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 7 - Forks: 4

CatalaLang/tree-sitter-catala

Language: JavaScript - Size: 4.5 MB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 2 - Forks: 0

CatalaLang/catleg

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

Language: Python - Size: 156 KB - Last synced at: 7 days ago - Pushed at: 18 days ago - Stars: 3 - Forks: 2

CatalaLang/french-law

Language: Python - Size: 31.7 MB - Last synced at: 7 days ago - Pushed at: 3 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: 7 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

CatalaLang/dates-calc

Formally specified computations on dates

Language: F* - Size: 673 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 12 - Forks: 1

CatalaLang/catala-formalization

Language: Coq - Size: 1.4 MB - Last synced at: 7 days ago - Pushed at: 5 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: 7 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: 7 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: 7 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0