indexabout
NameDescriptionOwnerIdle
crystalTaller de Crystalcrystal2 weeks
iceICE Chess Enginegmartinez7 years
snake86Juego de la viborita booteable para x86gmartinez8 years
agdaEl lenguaje de programación Agdamirror2 months
anopeAnope IRC Servicesmirror3 months
buildrootMirror del proyecto Buildrootmirror3 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror11 months
CompCertCompilador certificadomirror2 weeks
coqEl asistente de pruebas Coqmirror2 weeks
dtcDevice Tree Compilermirror9 years
erlang-otpErlang / Open Telecom Platformmirror2 months
fishtestFishtest - Suite de test para Stockfishmirror2 months
FStarEl lenguaje de programación y verificación F*mirror2 weeks
gccGNU Compiler Collectionmirror3 hours
ghcGlasgow Haskell Compilermirror2 years
gitGit: sistema de control de versionesmirror27 hours
gitolite[no description]mirror8 months
glibcLibrería de C de GNUmirror18 hours
hadoop-commonProyecto Hadoopmirror8 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror4 hours
mosmlEl compilador MoscowMLmirror2 weeks
ocamlEl lenguaje de programación OCamlmirror2 weeks
u-bootBootloader U-Bootmirror30 hours
z3El demostrador automático Z3mirror2 weeks
miniLogoCompilador miniLogonantinori15 months