indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez9 years
miniLogoCompilador miniLogonantinori3 years
snake86Juego de la viborita booteable para x86gmartinez9 years
jcc
crystalTaller de Crystalcrystal3 weeks
mirrors
CompCertCompilador certificadomirror19 hours
FStarEl lenguaje de programación y verificación F*mirror23 hours
agdaEl lenguaje de programación Agdamirror56 min.
anopeAnope IRC Servicesmirror12 hours
buildrootMirror del proyecto Buildrootmirror2 weeks
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror9 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror4 weeks
coqEl asistente de pruebas Coqmirror24 hours
dtcDevice Tree Compilermirror11 years
erlang-otpErlang / Open Telecom Platformmirror72 min.
fishtestFishtest - Suite de test para Stockfishmirror44 hours
gccGNU Compiler Collectionmirror107 min.
ghcGlasgow Haskell Compilermirror4 years
gitGit: sistema de control de versionesmirror14 hours
gitolite[no description]mirror21 hours
glibcLibrería de C de GNUmirror21 hours
hadoop-commonProyecto Hadoopmirror4 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror12 hours
mosmlEl compilador MoscowMLmirror3 weeks
ocamlEl lenguaje de programación OCamlmirror20 hours
u-bootBootloader U-Bootmirror33 hours
z3El demostrador automático Z3mirror12 hours