indexabout
NameDescriptionOwnerIdle
anopeAnope IRC Servicesmirror19 hours
u-bootBootloader U-Bootmirror17 hours
CompCertCompilador certificadomirror3 weeks
miniLogoCompilador miniLogonantinori4 years
dtcDevice Tree Compilermirror7 years
coqEl asistente de pruebas Coqmirror33 hours
mosmlEl compilador MoscowMLmirror3 weeks
z3El demostrador automático Z3mirror4 hours
agdaEl lenguaje de programación Agdamirror13 hours
ocamlEl lenguaje de programación OCamlmirror8 hours
FStarEl lenguaje de programación y verificación F*mirror23 hours
erlang-otpErlang / Open Telecom Platformmirror4 hours
fishtestFishtest - Suite de test para Stockfishmirror20 hours
gccGNU Compiler Collectionmirror5 hours
gitGit: sistema de control de versionesmirror8 hours
ghcGlasgow Haskell Compilermirror5 hours
iceICE Chess Enginegmartinez5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
glibcLibrería de C de GNUmirror8 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror11 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
buildrootMirror del proyecto Buildrootmirror45 hours
linuxMirror del proyecto Linux, árbol de Torvaldsmirror2 hours
hadoop-commonProyecto Hadoopmirror5 years
crystalTaller de Crystalcrystal3 weeks
gitolite[no description]mirror5 weeks