indexabout
NameDescriptionOwnerIdle
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
crystalTaller de Crystalcrystal8 days
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror9 hours
fishtestFishtest - Suite de test para Stockfishmirror101 min.
gccGNU Compiler Collectionmirror31 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
iceICE Chess Enginegmartinez5 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror11 hours
miniLogoCompilador miniLogonantinori5 years
mosmlEl compilador MoscowMLmirror8 days
ocamlEl lenguaje de programación OCamlmirror18 hours
snake86Juego de la viborita booteable para x86gmartinez5 years
u-bootBootloader U-Bootmirror11 hours
z3El demostrador automático Z3mirror74 min.