Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
Block or Report
Block or report nobrowser
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Robbert Krebbers
robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris
Radboud University Nijmegen
David Teller
Yoric
Jack of all Threads, PL guy.
Hey, recruiters, thank you for your interest. Please read this before pinging me: https://yoric.github.io/about/ .
@matrix-org Paris, France
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
@Sourcegraph Germany
Daniel P. Brice
friedbrice
Haskell and Typescript. Occasional Math and CS Lecturer.
San Francisco, California
Herbert Valerio Riedel
hvr
@haskell Vienna, Austria, Europe, Earth, Solar System, Milky Way, ...
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel
Murat Kasimov
iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
เชียงใหม่
Tej Chajed
tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.
UW-Madison Madison, WI
PreviousNext