CatalaLang/catala-website CatalaLang/catala-website

  • Stars
    star
    9
  • Rank 1,888,490 (Top 39 %)
  • Language ReScript
  • License
    Apache License 2.0
  • Created about 4 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CatalaLang/catala-website
github

CatalaLang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Source code for the website of the Catala language

More Repositories

1

catala

Programming language for literate programming law specification
OCaml
1,925
star
2

dates-calc

Formally specified computations on dates
F*
8
star
3

catala-explain

A module for explicability from the trace of a catala program
ReScript
3
star
4

catala-formalization

Coq
3
star
5

catleg

Development tools for catala programming in the context of French legislative texts.
Python
1
star
6

catala-dsfr

Web prototype for automated generation of individual explanations from Catala programs
ReScript
1
star