indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez9 years
miniLogoCompilador miniLogonantinori3 years
snake86Juego de la viborita booteable para x86gmartinez9 years
jcc
crystalTaller de Crystalcrystal37 hours
mirrors
CompCertCompilador certificadomirror37 hours
FStarEl lenguaje de programación y verificación F*mirror37 hours
agdaEl lenguaje de programación Agdamirror3 hours
anopeAnope IRC Servicesmirror44 hours
buildrootMirror del proyecto Buildrootmirror10 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror8 days
coqEl asistente de pruebas Coqmirror10 hours
dtcDevice Tree Compilermirror11 years
erlang-otpErlang / Open Telecom Platformmirror14 hours
fishtestFishtest - Suite de test para Stockfishmirror26 hours
gccGNU Compiler Collectionmirror7 hours
ghcGlasgow Haskell Compilermirror4 years
gitGit: sistema de control de versionesmirror25 hours
gitolite[no description]mirror4 months
glibcLibrería de C de GNUmirror26 hours
hadoop-commonProyecto Hadoopmirror4 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror103 min.
mosmlEl compilador MoscowMLmirror35 hours
ocamlEl lenguaje de programación OCamlmirror24 hours
u-bootBootloader U-Bootmirror117 min.
z3El demostrador automático Z3mirror35 hours