Propietario · Copilot-Language

Copilot-Language

Repositorios de código abierto monitorizados de Copilot-Language, ordenados por estrellas.

1 repositorio

#1
copilot ↗@Copilot-LanguageHaskell
Un framework de verificación en tiempo de ejecución basado en flujos para generar código C de tiempo real estricto.
★ 833+1Variación de estrellas de los últimos 7 días