indexabout
NameDescriptionOwnerIdle
anopeAnope IRC Servicesmirror38 hours
u-bootBootloader U-Bootmirror12 hours
CompCertCompilador certificadomirror8 days
miniLogoCompilador miniLogonantinori5 years
dtcDevice Tree Compilermirror7 years
coqEl asistente de pruebas Coqmirror6 hours
mosmlEl compilador MoscowMLmirror8 days
z3El demostrador automático Z3mirror2 hours
agdaEl lenguaje de programación Agdamirror15 hours
ocamlEl lenguaje de programación OCamlmirror19 hours
FStarEl lenguaje de programación y verificación F*mirror22 hours
erlang-otpErlang / Open Telecom Platformmirror10 hours
fishtestFishtest - Suite de test para Stockfishmirror3 hours
gccGNU Compiler Collectionmirror38 min.
gitGit: sistema de control de versionesmirror6 hours
ghcGlasgow Haskell Compilermirror8 weeks
iceICE Chess Enginegmartinez5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
glibcLibrería de C de GNUmirror3 months
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
buildrootMirror del proyecto Buildrootmirror28 hours
linuxMirror del proyecto Linux, árbol de Torvaldsmirror11 hours
hadoop-commonProyecto Hadoopmirror6 years
crystalTaller de Crystalcrystal8 days
gitolite[no description]mirror6 weeks