indexabout
NameDescriptionOwnerIdle
agdaEl lenguaje de programación Agdamirror21 hours
anopeAnope IRC Servicesmirror12 hours
buildrootMirror del proyecto Buildrootmirror43 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror3 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror8 weeks
CompCertCompilador certificadomirror2 weeks
coqEl asistente de pruebas Coqmirror9 hours
dtcDevice Tree Compilermirror11 years
erlang-otpErlang / Open Telecom Platformmirror27 min.
fishtestFishtest - Suite de test para Stockfishmirror6 hours
FStarEl lenguaje de programación y verificación F*mirror2 hours
gccGNU Compiler Collectionmirror22 min.
ghcGlasgow Haskell Compilermirror4 years
gitGit: sistema de control de versionesmirror11 hours
gitolite[no description]mirror2 weeks
glibcLibrería de C de GNUmirror2 days
hadoop-commonProyecto Hadoopmirror4 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror11 hours
mosmlEl compilador MoscowMLmirror7 weeks
ocamlEl lenguaje de programación OCamlmirror19 hours
u-bootBootloader U-Bootmirror19 hours
z3El demostrador automático Z3mirror3 days
generated by cgit v0.10.2-6-g49f6 at 2024-04-16 08:17:02 (GMT)