indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez5 years
miniLogoCompilador miniLogonantinori4 years
snake86Juego de la viborita booteable para x86gmartinez5 years
jcc
crystalTaller de Crystalcrystal9 days
mirrors
CompCertCompilador certificadomirror6 days
FStarEl lenguaje de programación y verificación F*mirror7 min.
agdaEl lenguaje de programación Agdamirror6 hours
anopeAnope IRC Servicesmirror5 days
buildrootMirror del proyecto Buildrootmirror2 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror3 hours
dtcDevice Tree Compilermirror6 years
erlang-otpErlang / Open Telecom Platformmirror5 hours
fishtestFishtest - Suite de test para Stockfishmirror4 hours
gccGNU Compiler Collectionmirror5 days
ghcGlasgow Haskell Compilermirror9 min.
gitGit: sistema de control de versionesmirror3 days
gitolite[no description]mirror8 weeks
glibcLibrería de C de GNUmirror4 months
hadoop-commonProyecto Hadoopmirror5 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror22 hours
mosmlEl compilador MoscowMLmirror9 days
ocamlEl lenguaje de programación OCamlmirror2 days
u-bootBootloader U-Bootmirror2 hours
z3El demostrador automático Z3mirror16 hours
generated by cgit v0.10.2-6-g49f6 at 2019-12-09 21:07:59 (GMT)