Skip to content
View ollef's full-sized avatar

Organizations

@llvm-hs

Block or report ollef

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@intgrah
Jeremy Chen intgrah
Computer Science student at University of Cambridge
@jtkristensen
Joachim Tilsted Kristensen jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.

The University in Oslo. 3410 Sylling, Norway.

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@danluu
Dan Luu danluu

https://danluu.com Vancouver, BC

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@tssm
Tae Selene Sandoval Murgan tssm
Software Writer and Computers Caregiver
@Ahnfelt
Joakim Ahnfelt-Rønne Ahnfelt
MSc Computer Science, part of the founding team at Paqle A/S and co-founder of a functional programming meetup with 1000+ members in Copenhagen.

Paqle A/S Copenhagen, Denmark

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@aturon
Aaron Turon aturon
Engineer at Fastly, working on Compute

Fastly Portland, OR, USA

@elpinal
El Pin Al elpinal
Abstract behavior
@buggymcbugfix
Vilem Liepelt buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ

University of Kent Nowhere

@wilbowma
William J. Bowman wilbowma
Paren-wielding meta-theorist.
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@emilypi
Emily Pillmore emilypi
Ranching is more fun than tech.

Salt Lake City, Utah

@robrix
Rob Rix robrix
Colouring outside the lines.

@colimit-ai

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@emilaxelsson
Emil Axelsson emilaxelsson

Sinusoidal Systems Gothenburg, Sweden

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-ai New York, NY, USA

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@fredrikNordvallForsberg
Fredrik Nordvall Forsberg fredrikNordvallForsberg

University of Strathclyde Glasgow, UK

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania