GitHub repository: EmileRolley/catala
Primary language: OCaml
Description: Programming language for literate programming law specification