Atticus Kuhn's following
- Abhinandan-Pal
- Agda Github Communityagda
- Alex Keizeralexkeizer
- AlgebraicJuliaAlgebraicJulia
- András KovácsAndrasKovacs
- anominos
- Aaron Stumpastump
- Siddharthbollu
- Cedille Programming Languagecedille
- Conal Elliottconal
- David Shapirodaveshap
- William SørensenEquilibris
- Gavinok
- Richard Eisenberggoldfirere
- Henrik BövinghargoniX
- HigherOrderCOHigherOrderCO
- Henrik Lissnerhlissner
- Jad Ghalayiniimbrem
- JamesL425
- Jesper Cockxjespercockx
- Job Henandez LaraJobhdez
- Alistairjohnyob
- Jonathan Woodruffjonwoodruff
- leanprover-communityleanprover-community
- Alexis Kinglexi-lambda
- Martin Escardomartinescardo
- Orestis Melkonianomelkonian
- Papers We Lovepapers-we-love
- Perspicuous ComputingPerspicuous-Computing
- Améliaplt-amy
- rzk proof assistant, satellite tools, and formalisationsrzk-lang
- SeungheonOhSeungheonOh
- Arjun PSuperty
- Tobias Grossertobiasgrosser
- Victor TaelinVictorTaelin
- Wen Kokkewenkokke