Vishal Lama's following
- pharo-open-documentation
- cedar-policy
- Alexandre Abreuxbreu
- Leanleanprover
- CU Boulder Research ComputingResearchComputing
- Mozart, an implementation of Ozmozart
- Amplifying F#amplifying-fsharp
- tidymodels
- Logseqlogseq
- PRISM Model Checkerprismmodelchecker
- rOpenSciropensci
- Daniel LakensLakens
- pharo-ai
- Isabelleisabelle-prover
- Square Bracket AssociatesSquareBracketAssociates
- MPL Compiler for Parallel MLMPLLang
- José Haro Peraltaabunuwas
- Mark Watsonmark-watson
- Hadley Wickhamhadley
- Conal Elliottconal
- Jimmy Koppeljkoppel
- David Tolnaydtolnay
- nipkow
- Mara Bosm-ou-se
- Graham Leach-Krousegleachkr
- Michaël Le Barbierforetspaisibles
- Ferrous Systemsferrous-systems
- EffectOrientedProgramming
- Markus Triskatriska
- HOL Theorem Proving SystemHOL-Theorem-Prover
- polyml
- asdf-community
- Tiemoko Ballotnballo
- Actixactix
- EffectEffect-TS
- aimacodeaimacode