indexabout
NameDescriptionOwnerIdle
mirrors
CompCertCompilador certificadomirror8 days
FStarEl lenguaje de programación y verificación F*mirror20 hours
agdaEl lenguaje de programación Agdamirror14 hours
anopeAnope IRC Servicesmirror37 hours
buildrootMirror del proyecto Buildrootmirror27 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
coqEl asistente de pruebas Coqmirror4 hours
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror9 hours
fishtestFishtest - Suite de test para Stockfishmirror91 min.
gccGNU Compiler Collectionmirror20 min.
ghcGlasgow Haskell Compilermirror8 weeks
gitGit: sistema de control de versionesmirror5 hours
gitolite[no description]mirror6 weeks
glibcLibrería de C de GNUmirror3 months
hadoop-commonProyecto Hadoopmirror6 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror11 hours
mosmlEl compilador MoscowMLmirror8 days
ocamlEl lenguaje de programación OCamlmirror18 hours
u-bootBootloader U-Bootmirror11 hours
z3El demostrador automático Z3mirror64 min.