Bozhidar Batsov
bbatsov
Hacker. Emacs fanatic. Author of RuboCop, CIDER, Projectile and others. I'm not the best, but I'm pretty good. ;-)
Toptal (@toptal) Bulgaria
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Martin Blais
blais
I aspire to build elegant and useful things.
I like to build beautiful things. New York City
Kiran Gopinathan
kiranandcode
Researcher working on proof repair and maintenance
Postdoc @ UIUC Illinois, US
Johannes Bader
olydis
Trying to make developer tools suck less and hacking on tree calculus.
Interests: PL design, formal verification, automatic program repair, education.
New York City, USA
Antal Spector-Zabusky
antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.
@rigetti Brooklyn, NY
Adam Porter
alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc.
USA
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
PreviousNext