luc-tielen
Follow
HARP Lab
harp-lab
We are the HARP (High-performance Automated Reasoning and Programming) lab
United States of America
Maxime Chevalier-Boisvert
maximecb
PhD in compiler design. Also having fun with graphics, machine learning, electronics, music and DIY. All opinions are my own.
Montreal, Canada
Thorsten Ball
mrnugget
Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.
@zed-industries Bavaria, Germany
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Boris Mann
bmann
Long time open source builder & community hand-waver. Web Tinkerer. Tools for Thought. DWeb.
Vancouver, BC, Canada
Brooklyn Zelenka
expede
👩🔬 Indie dev
🏳️🌈 Queer AF
🤝 FOSS, standards, commons
✊ Black Lives Matter & Land Back
Witchcraft Software Vancouver, Canada
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Chris Penner
ChrisPenner
he/him
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Matthijs Groen
matthijsgroen
Webdeveloper @kabisa.
Likes to tinker with game-development, all webbased.
Currently into building a nice web adventure game engine.
@kabisa Maastricht, The Netherlands
Andor Penzes
andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
https://www.redbubble.com/shop/ap/92458473 London, United Kingdom
Veronika Romashkina
vrom911
#Learn4Haskell mentor 👩🏼🏫
Haskell Developer. Check out @kowainik to see more projects I'm working on.
I also do @bindthegap
@kowainik London
Pascal Widdershoven
pascalw
Full stack developer.
Loves working on the full stack, from (mobile) frontend to backend. Loves learning. And cars.
@kabisa Netherlands
Steve J Donovan
stevedonovan
Always been fascinated by programming languages, and know a fair number. Have a serious open source hacking habit. Currently focusing on Rust
@panoptix-za Johannesburg, South Africa
