@CatalaLang
Guthub

CatalaLang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    727
  • Global Org. Rank 18,946 (Top 7 %)
  • Registered over 4 years ago
  • Most used languages
    ReScript     44.4 %
    OCaml
         22.2 %
    Python
         11.1 %
    F*     11.1 %
    Coq     11.1 %

Top repositories

1

catala

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

catala-website

Source code for the website of the Catala language
ReScript
9
star
3

dates-calc

Formally specified computations on dates
F*
8
star
4

catala-explain

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

catala-formalization

Coq
3
star
6

rescript-docx

A ReScript wrapper for the docx lib
ReScript
1
star
7

catleg

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

catala-dsfr

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

catala-language-server

Catala VSCode extension and LSP server
OCaml
1
star