Xavier Leroy

1 shared project   Coq proof assistant

No unique projects

1 shared project   Coq proof assistant

1 unique project   OCaml

1 shared project   Coq proof assistant

1 unique project   GNU Emacs

1 shared project   Coq proof assistant

2 unique projects   GHC, OCaml

1 shared project   Coq proof assistant

1 unique project   GHC

1 shared project   Coq proof assistant

3 unique projects   Skeptik, SAT4J, GAPT

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

1 shared project   Coq proof assistant

8 unique projects   alive2, MathJax, vscoq, Homebrew, Visual Studio Code, The LLVM Compiler Infrastructure, fish shell, Git

1 shared project   Coq proof assistant

8 unique projects   GNU Make, CMake, LyX, LaTeX, Okular (KDE), GNU sed, GraphViz, Functional MetaPost