CatalaLang/catala-language-server CatalaLang/catala-language-server

  • Stars
    star
    1
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created 5 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CatalaLang/catala-language-server
github

CatalaLang

Reviews

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

Repository Details

Catala VSCode extension and LSP server

More 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