indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez5 years
miniLogoCompilador miniLogonantinori5 years
snake86Juego de la viborita booteable para x86gmartinez6 years
jcc
crystalTaller de Crystalcrystal4 days
mirrors
CompCertCompilador certificadomirror4 days
FStarEl lenguaje de programación y verificación F*mirror23 hours
agdaEl lenguaje de programación Agdamirror7 hours
anopeAnope IRC Servicesmirror2 weeks
buildrootMirror del proyecto Buildrootmirror39 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror2 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror18 hours
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror11 hours
fishtestFishtest - Suite de test para Stockfishmirror5 days
gccGNU Compiler Collectionmirror117 min.
ghcGlasgow Haskell Compilermirror4 months
gitGit: sistema de control de versionesmirror7 hours
gitolite[no description]mirror5 weeks
glibcLibrería de C de GNUmirror8 weeks
hadoop-commonProyecto Hadoopmirror6 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror3 hours
mosmlEl compilador MoscowMLmirror4 days
ocamlEl lenguaje de programación OCamlmirror44 min.
u-bootBootloader U-Bootmirror6 hours
z3El demostrador automático Z3mirror8 hours