CatalaLang/catala-website

Source code for the website of the Catala language

langage: ReScript - taille: 30,5 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 17 - forks: 13

CatalaLang/catala

Programming language for literate programming law specification

langage: OCaml - taille: 66,4 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 2 327 - forks: 102

CatalaLang/catala-book

Documentation book for Catala

langage: JavaScript - taille: 3,81 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 3 - forks: 5

CatalaLang/catala-examples

Collection of Catala programs

langage: Java - taille: 16 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 14 - forks: 7

CatalaLang/catala-language-server

Catala VSCode extension and LSP server

langage: TypeScript - taille: 1,73 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 4 - forks: 3

CatalaLang/catala-format

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

CatalaLang/catleg

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

langage: Python - taille: 169 ko - dernière synchronisation: il y a environ un mois - enregistré: il y a environ 2 mois - étoiles: 5 - forks: 2

CatalaLang/tree-sitter-catala

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

CatalaLang/dates-calc

Formally specified computations on dates

langage: F* - taille: 686 ko - dernière synchronisation: il y a environ un mois - enregistré: il y a 3 mois - étoiles: 14 - 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 environ un mois - enregistré: il y a 5 mois - étoiles: 6 - forks: 0

CatalaLang/french-law

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

CatalaLang/catala-formalization

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