Takibi est un langage de systèmes de recherche et un noyau monolithique compatible Linux-ABI, conçu pour transformer les pannes d'exécution du noyau en erreurs de compilation grâce aux types de raffinement et à la propriété affine.
OPEN SOURCE, OPEN TO EVERYONE
Code ouvert. Horizons nouveaux.
Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
✳Sélection humaine · Découvrez de bons projets open source4086découverts
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONTopic: stm32清除
takibitakibi-lang
NOUVEAUpolySynthjoostbooy
NOUVEAUUn synthétiseur analogique à 8 voix avec contrôle numérique, comportant une matrice de modulation et un rappel numérique pour plus de 100 préréglages.
awesome-embeddednhivp
NOUVEAUUne liste organisée de ressources en programmation embarquée couvrant les plateformes MCU, le développement bare-metal, les RTOS, le noyau Linux et les drivers, les chaînes d'outils et le matériel d'apprentissage.