fabriceleal's Following
- achlipalaMIT
- ademakovMoscow
- anton-trunovhttps://tonstudio.io
- arthuraaRochester Institute of Technology
- ashalkhakovKyiv, Ukraine
- ats-lang
- bbarenblatCambridge, Massachusetts
- borgir
- c-cubeImandra (@imandra-ai)
- chiller2020
- CodeContractsDotNet
- coq
- dafny-lang
- daninetoLogme
- eliben@google
- franzincFranz Inc.
- FrigoEU
- gares@coq @math-comp @LPCIC
- githwxiATS Trustful Software, Inc.
- joaotavoraPortugal
- langjam
- lemireUniversité du Québec (TELUQ)
- lindigCitrix
- llvm
- logic-and-learning-lab
- medvednikovNetherlands
- metagol
- mgois
- proglangclass
- quicklispQuicklisp
- vizzivCornell University
- waywardmonkeys@endoli
- Zimmi48Télécom Paris