indexabout
NameDescriptionOwnerIdle
linuxMirror del proyecto Linux, árbol de Torvaldsmirror2 hours
erlang-otpErlang / Open Telecom Platformmirror4 hours
z3El demostrador automático Z3mirror4 hours
ghcGlasgow Haskell Compilermirror5 hours
gccGNU Compiler Collectionmirror5 hours
gitGit: sistema de control de versionesmirror8 hours
ocamlEl lenguaje de programación OCamlmirror8 hours
agdaEl lenguaje de programación Agdamirror13 hours
u-bootBootloader U-Bootmirror17 hours
anopeAnope IRC Servicesmirror19 hours
fishtestFishtest - Suite de test para Stockfishmirror20 hours
FStarEl lenguaje de programación y verificación F*mirror22 hours
coqEl asistente de pruebas Coqmirror32 hours
buildrootMirror del proyecto Buildrootmirror45 hours
glibcLibrería de C de GNUmirror8 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror11 days
CompCertCompilador certificadomirror3 weeks
mosmlEl compilador MoscowMLmirror3 weeks
crystalTaller de Crystalcrystal3 weeks
gitolite[no description]mirror5 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
miniLogoCompilador miniLogonantinori4 years
iceICE Chess Enginegmartinez5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
hadoop-commonProyecto Hadoopmirror5 years
dtcDevice Tree Compilermirror7 years