awesomolk-geimfari
NOUVEAUAwesomo est une collection organisée de projets open source classés par langage de programmation, offrant aux développeurs un moyen rapide de découvrir des dépôts actifs et de contribuer à l’open source.
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 source4109découverts
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONTopic: ocaml清除
takibitakibi-lang
NOUVEAUTakibi 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.