leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Gideon Farrell
gfarrell
Cofounder / CTO of @converge-io; ex-Cantab astrophysicist (MA/MSci); writes at gtf.io; builds things in Haskell (new projects at https://git.sr.ht/~gtf).
@converge-io London
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Jakub Beránek
Kobzol
Rust compiler and infra team member, open-source contributor.
Rust Project Czech Republic
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
Tatu Ylonen
tatuylonen
Interested in cybersecurity, AI, and language. Once wrote a tool called ssh (Secure Shell), which evolved into OpenSSH and a bunch of standards.
Independent
Andrew Owen
yumaikas
Hobbies at the intersection of Lisps, Elixir and Games, professional work is elsewhere. Opinions are my own.
Alan Jeffrey
asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.
Roblox Chicago, IL
Juniper Tyree
juntyr
PhD researcher at UH with a passion for the environment and Rust. Graduate of MEng Computing at ICL and MSc Theoretical & Computational Methods at UH.
University of Helsinki Helsinki
François-René Rideau
fare
Cybernethics
Houyhnhnm Computing https://ngnghm.github.io
Lair of the French Resistance
Cristian Assaiante
cristianassaiante
Ph.D. Engingeering in Computer Science student at Sapienza, University of Rome.
Working on compilers.
PreviousNext