CatalaLang/catala-website

Source code for the website of the Catala language

Language: ReScript - Size: 30.5 MB - Last synced at: 7 minutes ago - Pushed at: 2 days ago - Stars: 17 - Forks: 13

CatalaLang/catala

Programming language for literate programming law specification

Language: OCaml - Size: 66.4 MB - Last synced at: 7 minutes ago - Pushed at: about 15 hours ago - Stars: 2,327 - Forks: 102

CatalaLang/catala-book

Documentation book for Catala

Language: JavaScript - Size: 3.81 MB - Last synced at: 7 minutes ago - Pushed at: about 7 hours ago - Stars: 3 - Forks: 5

CatalaLang/catala-examples

Collection of Catala programs

Language: Java - Size: 16 MB - Last synced at: 7 minutes ago - Pushed at: 1 day ago - Stars: 14 - Forks: 7

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

Language: TypeScript - Size: 1.73 MB - Last synced at: 7 minutes ago - Pushed at: 1 day ago - Stars: 4 - Forks: 3

CatalaLang/catala-format

Language: OCaml - Size: 34.4 MB - Last synced at: 7 minutes ago - Pushed at: 1 day ago - Stars: 4 - Forks: 1

CatalaLang/catleg

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

Language: Python - Size: 169 KB - Last synced at: 7 minutes ago - Pushed at: 22 days ago - Stars: 5 - Forks: 2

CatalaLang/tree-sitter-catala

Language: C - Size: 8.81 MB - Last synced at: 7 minutes ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0

CatalaLang/dates-calc

Formally specified computations on dates

Language: F* - Size: 686 KB - Last synced at: 7 minutes ago - Pushed at: 2 months ago - Stars: 14 - Forks: 1

CatalaLang/ninja_utils

Small library used to generate Ninja build files

Language: OCaml - Size: 57.6 KB - Last synced at: 7 minutes ago - Pushed at: 4 months ago - Stars: 6 - Forks: 0

CatalaLang/french-law

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

CatalaLang/catala-formalization

Language: Coq - Size: 1.4 MB - Last synced at: 7 minutes ago - Pushed at: about 1 year 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 minutes ago - Pushed at: about 2 years 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 minutes ago - Pushed at: over 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 minutes ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0