Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things

Organizations

@codebase-labs

Block or report paulyoung

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
@marcbaldwin
Marc Baldwin marcbaldwin
iOS & Android Developer. CTO at Beeline, previously 4Com, JP Morgan, CGI, Logica. Computer Science, University of Southampton.

Bournemouth, UK

@goldfirere
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

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

Independent Sweden

@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@liamoc
Liam O'Connor liamoc
Senior Lecturer

Australian National University Canberra

@benkolera
Ben Kolera benkolera
Head of Product @ biza.io

biza.io Brisbane, Australia

@dalaing
Dave Laing dalaing

Brisbane, Australia

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@sliminality
Slim sliminality
father | husband | christian | pbcopy

@NotionHQ San Francisco

@rashadg1030
Rashad Gover rashadg1030

Los Angeles, California

@inamiy
Yasuhiro Inami inamiy
Software developer at @GoodNotes . Interests: Swift / Haskell / PureScript / Elm / Rust / TypeScript / Category Theory

@GoodNotes Tokyo, Japan

@arthurxavierx
Arthur Xavier arthurxavierx

Belo Horizonte, Brazil

@cbarrett
Colin Barrett cbarrett

Springs & Struts Brooklyn, NY

@evanrelf
Evan Relf evanrelf

@MercuryTechnologies Portland, Oregon, United States

@ajnsit
Anupam <|> अनुपम ajnsit
★ फलंकारी (Functional) प्रोग्रामर ★ Creator of the Concur UI framework. Founder FPIndia. ★ Haskell, Purescript, Rust, JS Fintech. Data Analytics.

India

@mbbx6spp
Susan Potter mbbx6spp
Re-imagining software with functional programming. Nix, Haskell, PureScript.

@referentiallabs Illinois

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@ixmatus
Parnell Springmeyer ixmatus

@awakesecurity Austin, TX

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@krzyzanowskim
Marcin Krzyzanowski krzyzanowskim
Passionate about open source & developer productivity. Follow me on socials where I live.

@swiftstudio-app Disappointment Islands

@jkachmar
jkachmar jkachmar

@groq New York City

@nikita-leonov
Nikita Leonov nikita-leonov

@atlassian Mountain View, CA

@i-am-tom
Tom Harding i-am-tom

@hasura Barcelona

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@SPY
Ilya Rezvov SPY

Google Denver, USA

@aljce
Alice McKean aljce
I like haskell

Portland, OR

@bengreenow
Ben Greenow bengreenow
Software Engineer at EXIS Technologies Big fan of front end stuff

Exis Technologies UK

@dorq
Anita Lillie dorq

San Francisco Bay Area

@puffnfresh
Brian McKenna puffnfresh
λ

Atlassian Tasmania, Australia

@thomashoneyman
Thomas Honeyman thomashoneyman
Core team @purescript. Engineering manager @aristanetworks. Cognitive Science degree from USC. Prev. co-founder and COO of FindMySong (acquired).

@aristanetworks

@safareli
Irakli Safareli safareli
Digging deeper into fantasy land of functional programing
@coot
Marcin Szamotulski coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.

@input-output-hk

@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

@MonoidMusician
Verity Scheel MonoidMusician
Cellist, math major with a side of FP, type theory, PL design, and lots more.