indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez5 years
miniLogoCompilador miniLogonantinori4 years
snake86Juego de la viborita booteable para x86gmartinez5 years
jcc
crystalTaller de Crystalcrystal3 weeks
mirrors
CompCertCompilador certificadomirror7 days
FStarEl lenguaje de programación y verificación F*mirror4 days
agdaEl lenguaje de programación Agdamirror4 hours
anopeAnope IRC Servicesmirror3 days
buildrootMirror del proyecto Buildrootmirror9 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror13 hours
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror78 min.
dtcDevice Tree Compilermirror6 years
erlang-otpErlang / Open Telecom Platformmirror7 hours
fishtestFishtest - Suite de test para Stockfishmirror6 hours
gccGNU Compiler Collectionmirror10 months
ghcGlasgow Haskell Compilermirror2 hours
gitGit: sistema de control de versionesmirror18 hours
gitolite[no description]mirror6 weeks
glibcLibrería de C de GNUmirror4 months
hadoop-commonProyecto Hadoopmirror5 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror4 hours
mosmlEl compilador MoscowMLmirror3 weeks
ocamlEl lenguaje de programación OCamlmirror39 hours
u-bootBootloader U-Bootmirror3 hours
z3El demostrador automático Z3mirror2 hours