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