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