indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez5 years
miniLogoCompilador miniLogonantinori4 years
snake86Juego de la viborita booteable para x86gmartinez5 years
jcc
crystalTaller de Crystalcrystal3 weeks
mirrors
CompCertCompilador certificadomirror8 hours
FStarEl lenguaje de programación y verificación F*mirror11 hours
agdaEl lenguaje de programación Agdamirror5 hours
anopeAnope IRC Servicesmirror8 days
buildrootMirror del proyecto Buildrootmirror22 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror4 hours
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror8 hours
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror92 min.
fishtestFishtest - Suite de test para Stockfishmirror5 days
gccGNU Compiler Collectionmirror3 hours
ghcGlasgow Haskell Compilermirror9 days
gitGit: sistema de control de versionesmirror19 hours
gitolite[no description]mirror2 weeks
glibcLibrería de C de GNUmirror5 weeks
hadoop-commonProyecto Hadoopmirror6 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror68 min.
mosmlEl compilador MoscowMLmirror3 weeks
ocamlEl lenguaje de programación OCamlmirror8 hours
u-bootBootloader U-Bootmirror52 min.
z3El demostrador automático Z3mirror93 min.