Ceilican

1 shared project   Coq proof assistant

No unique projects

1 shared project   GAPT

No unique projects

1 shared project   Coq proof assistant

No unique projects

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

2 unique projects   GHC, OCaml

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