Propietario · CatalaLang

CatalaLang

Repositorios de código abierto monitorizados de CatalaLang, ordenados por estrellas.

1 repositorio

#1
catala ↗@CatalaLangOCaml
Lenguaje de programación para la especificación de leyes mediante programación literaria
★ 2373+4Variación de estrellas de los últimos 7 días