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 7 jours - étoiles: 2 212 - forks: 94

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

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

CatalaLang/catala-website

Source code for the website of the Catala language

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

CatalaLang/catala-book

Documentation book for Catala

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

CatalaLang/catala-format

langage: OCaml - taille: 34,1 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 13 jours - étoiles: 4 - forks: 1

CatalaLang/tree-sitter-catala

langage: C - taille: 7,13 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 15 jours - étoiles: 2 - forks: 0

CatalaLang/catala-examples

Collection of Catala programs

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

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 6 jours - enregistré: il y a 3 mois - étoiles: 4 - forks: 2

CatalaLang/dates-calc

Formally specified computations on dates

langage: F* - taille: 679 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 4 mois - étoiles: 13 - 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 6 jours - enregistré: il y a 4 mois - étoiles: 6 - forks: 0

CatalaLang/french-law

langage: Python - taille: 31,7 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 6 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 6 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 1

CatalaLang/catala-formalization

langage: Coq - taille: 1,4 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 8 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 6 jours - enregistré: il y a plus d'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 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 6 jours - enregistré: il y a environ 2 ans - étoiles: 3 - forks: 0