Skip to content
View adamwespiser's full-sized avatar

Highlights

  • Pro

Organizations

@protolude

Block or report adamwespiser

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

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@martint
Martin Traverso martint
Creator of Presto and Trino

@trinodb @starburstdata

@SamuelSchlesinger
Samuel Schlesinger SamuelSchlesinger
Working on Google Chrome in the Privacy Sandbox initiative

Google Connecticut

@sergpolly
Sergey Venev sergpolly

University of Massachusetts Medical School Worcester, MA

@pepeiborra
Pepe Iborra pepeiborra
Functional programmer

Meta London, UK

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@rwightman
Ross Wightman rwightman
Computer Vision @huggingface. Always learning, constantly curious. Building ML/AI systems, watching loss curves.

@huggingface Vancouver, BC, Canada

@vaclavsvejcar
Vaclav Svejcar vaclavsvejcar
Java/Haskell enthusiast in digital world, amateur film photographer in analog world, coffee lover in both worlds.

Freelance Java/Haskell developer Prague, CZ

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@23Skidoo
Mikhail Glushenkov 23Skidoo
Elixir/Rust programmer.

@primait London, UK

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@wende
Krzysztof Wende wende
Functional and type-safe nerd. Elixir, Erlang, Prolog, λ, Idris. Creator of Elchemy Lang. In search of a perfect programming language

Neon Tree Solutions Ltd. Gdańsk, Poland

@chiphuyen
Chip Huyen chiphuyen
Building infra for real-time ML @claypotai

San Francisco

@gasi
Daniel Gasienica gasi
Polyglot developer passionate about purely functional programming.

CollegeVine / iET Zürich, Switzerland

@inanna-malick
Inanna Malick inanna-malick
Rust, Haskell, various recursion schemes shenanigans. she/her. 🏳️‍⚧️ twitter.com/inanna_malick

Cloudflare Oakland

@robertgrant
Robert Grant robertgrant
Note! I no longer use Github. Everything here could be OUT OF DATE. I will delete repos without warning. Visit robertgrantstats.co.uk/code.html

BayesCamp Winchester, UK

@xldenis
Xavier Denis xldenis
formal verification hacker

ETHZ Zurich/Paris

@basvandijk
Bas van Dijk basvandijk
I've 15 years of experience as a Haskell developer in various roles.

DFINITY Zürich, Switzerland

@soareschen
Soares Chen soareschen
@maybevoid@informalsystems ∘ Haskell ∘ Rust ∘ Functional Programming ∘ Programming Language Theory

@maybevoid Leipzig, Germany

@oofp
oofp oofp
applying FP ideas in straightforward pragmatic way
@graninas
Alexander Granin graninas
Software architect, book author, Haskell expert, international speaker, blogger | "Functional Design and Architecture" book (Manning)

UAE, Dubai

@fredrikbk
Fredrik Kjolstad fredrikbk
Computer scientist and Assistant Professor at Stanford. I work on programming languages, compilers, and systems.

Stanford Stanford

@jiahao
Jiahao Chen jiahao
Owner, @rai-llc

@rai-llc New York

@winitzki
Sergei Winitzki winitzki
Theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages

Workday, Inc. Pöring, Germany

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@mstksg
Justin Le mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@Anduril Orange, CA

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@evincarofautumn
Jon Purdy evincarofautumn
Programming language technologist

SFBA

@topology-tool-kit
Topology ToolKit topology-tool-kit
The Topology ToolKit (TTK) is an open-source library and software collection for topological data analysis in scientific visualization.
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

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

Vancouver, BC

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI