1 shared project Coq proof assistant
1 unique project GNU Emacs
1 shared project Coq proof assistant
1 unique project OCaml
1 shared project Coq proof assistant
1 shared project Coq proof assistant
1 unique project GHC
1 shared project SAT4J
2 unique projects Java Universal Network/Graph Framework, Opt4J
1 shared project Coq proof assistant
6 unique projects Linux Kernel, GNU Emacs, Debian, SWI-Prolog, Python programming language, Perl
1 shared project Coq proof assistant
5 unique projects Coq ELPI, Verified Software Toolchain (Coq), Mathematical Components (Coq), CompCert, OCaml
1 shared project Coq proof assistant
5 unique projects ZSNES, VisualBoyAdvance, Mupen64Plus, DOSEMU for Linux, Dungeon Crawl Stone Soup
1 shared project Coq proof assistant
6 unique projects Savonet, OCaml, Liquidsoap, Debian, Funk, strid