indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez5 years
miniLogoCompilador miniLogonantinori5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
jcc
crystalTaller de Crystalcrystal8 days
mirrors
CompCertCompilador certificadomirror8 days
FStarEl lenguaje de programación y verificación F*mirror21 hours
agdaEl lenguaje de programación Agdamirror14 hours
anopeAnope IRC Servicesmirror37 hours
buildrootMirror del proyecto Buildrootmirror27 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror5 hours
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror9 hours
fishtestFishtest - Suite de test para Stockfishmirror104 min.
gccGNU Compiler Collectionmirror34 min.
ghcGlasgow Haskell Compilermirror8 weeks
gitGit: sistema de control de versionesmirror5 hours
gitolite[no description]mirror6 weeks
glibcLibrería de C de GNUmirror3 months
hadoop-commonProyecto Hadoopmirror6 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror12 hours
mosmlEl compilador MoscowMLmirror8 days
ocamlEl lenguaje de programación OCamlmirror18 hours
u-bootBootloader U-Bootmirror11 hours
z3El demostrador automático Z3mirror77 min.