Skip to content
View ejconlon's full-sized avatar
80 followers · 332 following

Block or report ejconlon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@utensil
Utensil utensil
@Kraks
Guannan Wei Kraks
Postdoc (PL/FM/Compilers); Incoming Asst Prof at Tufts

INRIA/ENS; Tufts

@cocreature
Moritz Kiefer cocreature

@digital-asset

@rntz
Michael Arntzenius rntz
@gboncoffee
Gabriel G. de Brito (AKA 96) gboncoffee
clown-oriented programming @hipes-ufpr

Federal University of Paraná Brazil

@tfausak
Taylor Fausak tfausak
@kcrary
Karl Crary kcrary

Carnegie Mellon University

@frankpfenning
Frank Pfenning frankpfenning

Carnegie Mellon University Pittsburgh

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@adelarsq
Adelar da Silva Queiróz adelarsq
Father |> Husband |> Developer |> Vimmer |> Theoretical Physicist 🌎🖤💙💛

Spassu Brasil

@raehik
Ben Orchard raehik
reads and writes computer

computer

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@Innf107
Prophet Innf107
@christiaanb
Christiaan Baaij christiaanb

QBayLogic Enschede, The Netherlands

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@mattecapu
Matteo Capucci mattecapu
PhD student at University of Strathclyde. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@Perspicuous-Computing
Perspicuous Computing Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@yawaramin
Yawar Amin yawaramin
🐫

Toronto, Canada

@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@idontgetoutmuch
idontgetoutmuch
@jyp
Jean-Philippe Bernardy jyp

University of Gothenburg Göteborg, Sweden

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@pa-ba
Patrick Bahr pa-ba
Associate Professor in Programming Languages

IT University of Copenhagen Copenhagen, Denmark

@toplap
toplap
@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@leanprover
Lean leanprover
Lean Prover
@coot
Marcin Szamotulski coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.

@input-output-hk

@bakpakin
Calvin Rose bakpakin

Austin, Texas

@ztatlock
Zachary Tatlock ztatlock
Associate Professor, UW Allen School (CSE)

University of Washington Seattle, WA

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

Austin, TX

@maerwald
maerwald
@NickSeagull
Nick Seagull NickSeagull
⸺ Computer-Human Interaction Specialist ⸺ Creator of @neohaskell ⸺ Working as a Chief Meme Occultist @theagilemonkeys

@theam

@Mikolaj
Mikolaj Konarski Mikolaj
@liamzee
Liam liamzee
New programmer. Older programmer. Starting with Haskell. Sound impossible? Prepare for a lot of shitcode.
@adamgundry
Adam Gundry adamgundry

Well-Typed LLP @well-typed

@angerman
Moritz Angermann angerman
type masseur

@input-output-hk Singapore, Singapore

@flora-pm
Flora flora-pm
Package repository for the Haskell ecosystem

France

@zenzike
Nicolas Wu zenzike

Oxford, UK

@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math

Jij, Inc. @Jij-inc Tokyo

@gabritto
Gabriela Araujo Britto gabritto

Microsoft Canada

@yaxu
Alex McLean yaxu
Para-academic research fellow as part of non-profit Then Try This

Then Try This Sheffield, UK

@voidus
Simon Kohlmeyer voidus

Germany

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@jcelerier
Jean-Michaël Celerier jcelerier
https://sat.qc.ca tech dir. @ossia lead dev : https://ossia.io computer art engineering & research

@ossia Montréal

@simmsb
Ben Simms simmsb
I *will* put rust on your microcontroller, and you *will* enjoy it.

@artificialio Deutschland

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium