indexabout
NameDescriptionOwnerIdle
estudiantes
iceICE Chess Enginegmartinez9 years
miniLogoCompilador miniLogonantinori3 years
snake86Juego de la viborita booteable para x86gmartinez10 years
jcc
crystalTaller de Crystalcrystal8 weeks
mirrors
CompCertCompilador certificadomirror4 weeks
FStarEl lenguaje de programación y verificación F*mirror7 hours
agdaEl lenguaje de programación Agdamirror12 hours
anopeAnope IRC Servicesmirror3 days
buildrootMirror del proyecto Buildrootmirror3 days
busyboxMirror de busybox, una alternativa a GNU coreutilsmirror14 days
cgitMirror de cgit, la interfaz que estas viendo ahoramirror7 days
coqEl asistente de pruebas Coqmirror19 hours
dtcDevice Tree Compilermirror11 years
erlang-otpErlang / Open Telecom Platformmirror95 min.
fishtestFishtest - Suite de test para Stockfishmirror20 hours
gccGNU Compiler Collectionmirror7 hours
ghcGlasgow Haskell Compilermirror4 years
gitGit: sistema de control de versionesmirror8 hours
gitolite[no description]mirror9 days
glibcLibrería de C de GNUmirror40 hours
hadoop-commonProyecto Hadoopmirror4 years
linuxMirror del proyecto Linux, árbol de Torvaldsmirror10 hours
mosmlEl compilador MoscowMLmirror8 weeks
ocamlEl lenguaje de programación OCamlmirror37 min.
u-bootBootloader U-Bootmirror12 hours
z3El demostrador automático Z3mirror41 hours
generated by cgit v0.10.2-6-g49f6 at 2024-04-27 07:43:13 (GMT)