indexabout
NameDescriptionOwnerIdle
FStarEl lenguaje de programación y verificación F*mirror14 min.
ghcGlasgow Haskell Compilermirror17 min.
linuxMirror del proyecto Linux, árbol de Torvaldsmirror61 min.
u-bootBootloader U-Bootmirror2 hours
coqEl asistente de pruebas Coqmirror3 hours
fishtestFishtest - Suite de test para Stockfishmirror4 hours
erlang-otpErlang / Open Telecom Platformmirror5 hours
agdaEl lenguaje de programación Agdamirror7 hours
z3El demostrador automático Z3mirror16 hours
buildrootMirror del proyecto Buildrootmirror2 days
ocamlEl lenguaje de programación OCamlmirror2 days
gitGit: sistema de control de versionesmirror3 days
anopeAnope IRC Servicesmirror5 days
gccGNU Compiler Collectionmirror5 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror6 days
CompCertCompilador certificadomirror6 days
mosmlEl compilador MoscowMLmirror9 days
crystalTaller de Crystalcrystal9 days
gitolite[no description]mirror8 weeks
glibcLibrería de C de GNUmirror4 months
cgitMirror de cgit, la interfaz que estas viendo ahoramirror3 years
miniLogoCompilador miniLogonantinori4 years
iceICE Chess Enginegmartinez5 years
snake86Juego de la viborita booteable para x86gmartinez5 years
hadoop-commonProyecto Hadoopmirror5 years
dtcDevice Tree Compilermirror6 years