Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONMoins de 10 étoiles et au moins 5 commits au cours des 30 derniers jours : des projets conçus avec soin.
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.
