CatalaLang/catala

Programming language for literate programming law specification

langage: OCaml - taille: 62,2 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 10 jours - étoiles: 2 089 - forks: 79

CatalaLang/catala-examples

Collection of Catala programs

langage: OCaml - taille: 12,3 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 10 jours - étoiles: 6 - forks: 4

CatalaLang/catala-website

Source code for the website of the Catala language

langage: ReScript - taille: 30,4 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 6 jours - étoiles: 9 - forks: 11

CatalaLang/catala-format

langage: Scheme - taille: 34,3 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 11 jours - étoiles: 4 - forks: 0

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

langage: OCaml - taille: 962 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 12 jours - étoiles: 2 - forks: 1

CatalaLang/french-law

langage: Python - taille: 31,7 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 17 jours - étoiles: 6 - forks: 3

CatalaLang/catala-book

Documentation book for Catala

langage: JavaScript - taille: 1010 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 17 jours - étoiles: 0 - forks: 1

CatalaLang/tree-sitter-catala

langage: JavaScript - taille: 3,71 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 19 jours - étoiles: 2 - forks: 0

CatalaLang/catala-web-assets

Assets used by the website to render french law forms

langage: HTML - taille: 3,71 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 23 jours - étoiles: 0 - forks: 1

CatalaLang/catleg

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

langage: Python - taille: 136 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 6 jours - étoiles: 3 - forks: 2

CatalaLang/dates-calc

Formally specified computations on dates

langage: F* - taille: 673 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 3 mois - étoiles: 12 - forks: 1

CatalaLang/catala-formalization

langage: Coq - taille: 1,4 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 3 mois - étoiles: 3 - forks: 0

CatalaLang/ninja_utils

Small library used to generate Ninja build files

langage: OCaml - taille: 56,6 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 5 - forks: 0

CatalaLang/catala-dsfr

Web prototype for automated generation of individual explanations from Catala programs

langage: ReScript - taille: 2,56 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a environ un an - étoiles: 1 - forks: 0

CatalaLang/rescript-docx

A ReScript wrapper for the docx lib

langage: ReScript - taille: 86,9 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 1

CatalaLang/catala-explain

A module for explicability from the trace of a catala program

langage: ReScript - taille: 120 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a plus d'un an - étoiles: 3 - forks: 0