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