indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez8 years
miniLogoCompilador miniLogonantinori24 months
snake86Juego de la viborita booteable para x86gmartinez8 years
jcc
crystalTaller de Crystalcrystal8 days
mirrors
CompCertCompilador certificadomirror43 hours
FStarEl lenguaje de programación y verificación F*mirror21 hours
agdaEl lenguaje de programación Agdamirror44 hours
anopeAnope IRC Servicesmirror18 hours
buildrootMirror del proyecto Buildrootmirror3 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror9 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror11 days
coqEl asistente de pruebas Coqmirror11 hours
dtcDevice Tree Compilermirror10 years
erlang-otpErlang / Open Telecom Platformmirror7 hours
fishtestFishtest - Suite de test para Stockfishmirror2 days
gccGNU Compiler Collectionmirror5 hours
ghcGlasgow Haskell Compilermirror3 years
gitGit: sistema de control de versionesmirror7 hours
gitolite[no description]mirror7 months
glibcLibrería de C de GNUmirror12 hours
hadoop-commonProyecto Hadoopmirror3 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror31 hours
mosmlEl compilador MoscowMLmirror8 days
ocamlEl lenguaje de programación OCamlmirror16 hours
u-bootBootloader U-Bootmirror10 hours
z3El demostrador automático Z3mirror12 hours