indexabout
NameDescriptionOwnerIdle
crystalTaller de Crystalcrystal8 days
iceICE Chess Enginegmartinez5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
agdaEl lenguaje de programación Agdamirror14 hours
anopeAnope IRC Servicesmirror37 hours
buildrootMirror del proyecto Buildrootmirror28 hours
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 weeks
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
CompCertCompilador certificadomirror8 days
coqEl asistente de pruebas Coqmirror5 hours
dtcDevice Tree Compilermirror7 years
erlang-otpErlang / Open Telecom Platformmirror9 hours
fishtestFishtest - Suite de test para Stockfishmirror114 min.
FStarEl lenguaje de programación y verificación F*mirror21 hours
gccGNU Compiler Collectionmirror43 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 Torvaldsmirror12 hours
mosmlEl compilador MoscowMLmirror8 days
ocamlEl lenguaje de programación OCamlmirror18 hours
u-bootBootloader U-Bootmirror12 hours
z3El demostrador automático Z3mirror86 min.
miniLogoCompilador miniLogonantinori5 years