indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez6 years
miniLogoCompilador miniLogonantinori3 months
snake86Juego de la viborita booteable para x86gmartinez7 years
jcc
crystalTaller de Crystalcrystal10 days
mirrors
CompCertCompilador certificadomirror22 hours
FStarEl lenguaje de programación y verificación F*mirror14 hours
agdaEl lenguaje de programación Agdamirror11 hours
anopeAnope IRC Servicesmirror9 days
buildrootMirror del proyecto Buildrootmirror13 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror5 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror4 months
coqEl asistente de pruebas Coqmirror16 hours
dtcDevice Tree Compilermirror8 years
erlang-otpErlang / Open Telecom Platformmirror7 hours
fishtestFishtest - Suite de test para Stockfishmirror12 hours
gccGNU Compiler Collectionmirror3 hours
ghcGlasgow Haskell Compilermirror15 months
gitGit: sistema de control de versionesmirror97 min.
gitolite[no description]mirror3 months
glibcLibrería de C de GNUmirror4 hours
hadoop-commonProyecto Hadoopmirror7 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror9 hours
mosmlEl compilador MoscowMLmirror10 days
ocamlEl lenguaje de programación OCamlmirror7 hours
u-bootBootloader U-Bootmirror10 hours
z3El demostrador automático Z3mirror10 hours