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 source4102découverts

Un peu de curiosité. Un monde de code ouvert.

THE FIRST COLLECTION

Topic: language清除

takibitakibi-lang

NOUVEAU

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.

DéveloppementAuto-hébergementEditors & IDEs

☆ 2OCaml

♡↗