labdcc - Git
Porque sí
index
about
Name
Description
Owner
Idle
estudiantes
ice
ICE Chess Engine
gmartinez
9 years
miniLogo
Compilador miniLogo
nantinori
3 years
snake86
Juego de la viborita booteable para x86
gmartinez
9 years
jcc
crystal
Taller de Crystal
crystal
3 weeks
mirrors
CompCert
Compilador certificado
mirror
19 hours
FStar
El lenguaje de programación y verificación F*
mirror
23 hours
agda
El lenguaje de programación Agda
mirror
56 min.
anope
Anope IRC Services
mirror
12 hours
buildroot
Mirror del proyecto Buildroot
mirror
2 weeks
busybox
Mirror de busybox, una alternativa a GNU coreutils
mirror
9 weeks
cgit
Mirror de cgit, la interfaz que estas viendo ahora
mirror
4 weeks
coq
El asistente de pruebas Coq
mirror
24 hours
dtc
Device Tree Compiler
mirror
11 years
erlang-otp
Erlang / Open Telecom Platform
mirror
72 min.
fishtest
Fishtest - Suite de test para Stockfish
mirror
44 hours
gcc
GNU Compiler Collection
mirror
107 min.
ghc
Glasgow Haskell Compiler
mirror
4 years
git
Git: sistema de control de versiones
mirror
14 hours
gitolite
[no description]
mirror
21 hours
glibc
Librería de C de GNU
mirror
21 hours
hadoop-common
Proyecto Hadoop
mirror
4 years
linux
Mirror del proyecto Linux, árbol de Torvalds
mirror
12 hours
mosml
El compilador MoscowML
mirror
3 weeks
ocaml
El lenguaje de programación OCaml
mirror
20 hours
u-boot
Bootloader U-Boot
mirror
33 hours
z3
El demostrador automático Z3
mirror
12 hours