CatalaLang/catala

Programming language for literate programming law specification

langage: OCaml - taille: 62,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 6 jours - étoiles: 2 249 - forks: 97

CatalaLang/catala-book

Documentation book for Catala

langage: JavaScript - taille: 1,42 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 6 jours - étoiles: 1 - forks: 3

CatalaLang/catala-website

Source code for the website of the Catala language

langage: ReScript - taille: 30,6 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 jours - étoiles: 14 - forks: 13

CatalaLang/catala-examples

Collection of Catala programs

langage: Java - taille: 15,9 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 20 jours - étoiles: 10 - forks: 5

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

langage: TypeScript - taille: 1,32 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 5 jours - étoiles: 4 - forks: 2

CatalaLang/tree-sitter-catala

langage: C - taille: 7,35 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un mois - étoiles: 3 - forks: 0

CatalaLang/catala-format

langage: OCaml - taille: 34,1 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un mois - étoiles: 4 - forks: 1

CatalaLang/ninja_utils

Small library used to generate Ninja build files

langage: OCaml - taille: 57,6 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ un mois - étoiles: 6 - forks: 0

CatalaLang/catleg

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

langage: Python - taille: 159 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 4 mois - étoiles: 4 - forks: 2

CatalaLang/dates-calc

Formally specified computations on dates

langage: F* - taille: 679 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 5 mois - étoiles: 13 - forks: 1

CatalaLang/french-law

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

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 5 jours - enregistré: il y a 8 mois - étoiles: 0 - forks: 1

CatalaLang/catala-formalization

langage: Coq - taille: 1,4 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 10 mois - étoiles: 3 - 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 5 jours - enregistré: il y a presque 2 ans - é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 5 jours - enregistré: il y a environ 2 ans - é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 5 jours - enregistré: il y a environ 2 ans - étoiles: 3 - forks: 0