indexabout
NameDescriptionOwnerIdle
CompCertCompilador certificadomirror3 weeks
FStarEl lenguaje de programación y verificación F*mirror5 hours
agdaEl lenguaje de programación Agdamirror14 hours
anopeAnope IRC Servicesmirror7 days
buildrootMirror del proyecto Buildrootmirror9 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror10 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror4 days
coqEl asistente de pruebas Coqmirror6 hours
dtcDevice Tree Compilermirror11 years
erlang-otpErlang / Open Telecom Platformmirror17 min.
fishtestFishtest - Suite de test para Stockfishmirror5 hours
gccGNU Compiler Collectionmirror3 hours
ghcGlasgow Haskell Compilermirror4 years
gitGit: sistema de control de versionesmirror9 hours
gitolite[no description]mirror5 days
glibcLibrería de C de GNUmirror12 hours
hadoop-commonProyecto Hadoopmirror4 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror10 hours
mosmlEl compilador MoscowMLmirror8 weeks
ocamlEl lenguaje de programación OCamlmirror14 hours
u-bootBootloader U-Bootmirror12 hours
z3El demostrador automático Z3mirror3 days
generated by cgit v0.10.2-6-g49f6 at 2024-04-23 09:13:59 (GMT)