indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez7 years
miniLogoCompilador miniLogonantinori12 months
snake86Juego de la viborita booteable para x86gmartinez7 years
jcc
crystalTaller de Crystalcrystal4 weeks
mirrors
CompCertCompilador certificadomirror2 weeks
FStarEl lenguaje de programación y verificación F*mirror57 min.
agdaEl lenguaje de programación Agdamirror13 hours
anopeAnope IRC Servicesmirror13 days
buildrootMirror del proyecto Buildrootmirror41 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror43 hours
cgitMirror de cgit, la interfaz que estas viendo ahoramirror8 months
coqEl asistente de pruebas Coqmirror3 hours
dtcDevice Tree Compilermirror9 years
erlang-otpErlang / Open Telecom Platformmirror89 min.
fishtestFishtest - Suite de test para Stockfishmirror18 hours
gccGNU Compiler Collectionmirror71 min.
ghcGlasgow Haskell Compilermirror23 months
gitGit: sistema de control de versionesmirror4 hours
gitolite[no description]mirror4 months
glibcLibrería de C de GNUmirror6 hours
hadoop-commonProyecto Hadoopmirror7 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror95 min.
mosmlEl compilador MoscowMLmirror4 weeks
ocamlEl lenguaje de programación OCamlmirror17 hours
u-bootBootloader U-Bootmirror9 hours
z3El demostrador automático Z3mirror11 hours