Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Daniel Lemire
lemire
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.
Université du Québec (TELUQ) Montreal, Quebec, Canada
Samuel
syallop
I like {strongly typed, DSL, distributed} programming, Haskell & compilers.
I've worked at @samuelyallop-pusher & @syallop-fc with Go & Clojure.
United Kingdom
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
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Clinton Mead
clintonmead
I'm a Haskell developer in Sydney Australia. My repository contains some packages you'll hopefully find useful. My CV is in the link below:
Sydney, Australia
Dusty DeWeese
HackerFoo
Interests: Language design, compilers, digital logic, theorem provers, computational geometry, mathematics, real time embedded signal processing
HackerFoo Heavy Industries Mountain View, California, USA
Chris Pressey
cpressey
Unhappy ex-GitHub product who made like a turn and left. Using a non-profit code host instead now. Follow me if you dare.
Office... submarine!
Stellaris-code
22yo low-level enjoyer, with a passion for system programming, emulator development and OSDev!
Also I love Touhou and planes
Discord : Stellaris#1171
Lex Plt
SuperFola
Game dev, programming language dev for @ArkScript-lang, sysadmin to my despair
France