CatalaLang/dates-calc

Formally specified computations on dates

Language: F* - Size: 689 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 12 - Forks: 1

CatalaLang/catala-book

Documentation book for Catala

Language: JavaScript - Size: 968 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 1

CatalaLang/catala

Programming language for literate programming law specification

Language: OCaml - Size: 60.4 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2,061 - Forks: 78

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

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

CatalaLang/tree-sitter-catala

Language: JavaScript - Size: 3.6 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0

CatalaLang/catala-examples

Collection of Catala programs

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

CatalaLang/catleg

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

Language: Python - Size: 126 KB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 2

CatalaLang/catala-website

Source code for the website of the Catala language

Language: ReScript - Size: 27.9 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 11

CatalaLang/catala-format

Language: Scheme - Size: 34.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0

CatalaLang/catala-formalization

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

CatalaLang/french-law

Language: Python - Size: 31.7 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 2

CatalaLang/ninja_utils

Small library used to generate Ninja build files

Language: OCaml - Size: 56.6 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

CatalaLang/catala-web-assets

Assets used by the website to render french law forms

Language: HTML - Size: 3.56 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

CatalaLang/catala-dsfr

Web prototype for automated generation of individual explanations from Catala programs

Language: ReScript - Size: 2.56 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

CatalaLang/rescript-docx

A ReScript wrapper for the docx lib

Language: ReScript - Size: 86.9 KB - Last synced at: 6 days ago - Pushed at: over 1 year 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: 6 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0