Propietario · granule-project

granule-project

Repositorios de código abierto monitorizados de granule-project, ordenados por estrellas.

1 repositorio

#1
granule ↗@granule-projectHaskell
Un lenguaje funcional lineal de tipado estático con tipos modales graduados para el razonamiento detallado de programas.
★ 733+1Variación de estrellas de los últimos 7 días