Skip to content
View effectfully's full-sized avatar
219 followers · 276 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@input-output-hk @dpndnt @monadfix @effectfully-ou
Block or Report

Block or report effectfully

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
@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@simonjohnthompson
simonjohnthompson
@HarmonicLabs
HLabs HarmonicLabs
@rphair
Robert Phair rphair
Web app & blockchain designer; devops & security consultant; open source advocate; writer & standards architect.

COSD (Cardano stake pool & consultancy) Dublin, IE

@Unisay
Yura Lazarev Unisay
Everything matters

Berlin

@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich

@disassembler
Samuel Leathers disassembler
@euonymos
Ilia Rodionov euonymos

MLabs Cuernavaca, Mexico

@roife
roife roife
Interested in PL, Compiler, Emacs.

@pascal-lab

@tiye
题叶 tiye
Cirru Calcit Maintainer.

Shanghai, China

@lisyarus
Lisitsa Nikita lisyarus

Saint-Petersburg, Russia

@alpmestan
Alp alpmestan

Well-Typed LLP

@fosskers
Colin Woodbury fosskers
I write Rust, Haskell, and Lisp.

Japan

@lemastero
Piotr Paradziński lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants

Lublin

@nschoe
nschoe nschoe
Hardcore engineer, Roboticist, AI & software engineer. Soon-to-be Rocket Scientist (more on this soon!) Cofounder @ https://saline.network/

Paris, FRANCE

@doyougnu
Jeffrey Young doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.

@input-output-hk

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@coot
Marcin Szamotulski coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.

@input-output-hk

@xplat
James Deikun xplat

@obsidiansystems NYC

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@Boarders
Callan McGill Boarders
@bergkvist
Tobias Bergkvist bergkvist
Python, Rust, C, C++, Nix, Bash, JavaScript, React, WebGL, Docker, Kubernetes

Software Engineer @ Ulvetanna Oslo, Norway

@dnikolovv
Dobromir Nikolov dnikolovv
@Innf107
Prophet Innf107
@Ryun1
Ryan Ryun1

Intersect @IntersectMBO London

@Lev135
Lev Dvorkin Lev135
@neetcode-gh
neetcode-gh
@uhbif19
Gregory Gerasev uhbif19
Haskell and Python programmer. Smart-contracts, PL theory and formal methods enthusiast.

@mlabs-haskell Chiang Mai

@lpw25
Leo White lpw25

Jane Street

@rvcas
Lucas rvcas
λ : metal . bender

Miami, FL

@L-as
Las Safin L-as
@Des333
Denis Gabidullin Des333
FPGA / Linux Kernel / Network protocols

STC Metrotek Saint Petersburg

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@zliu41
Ziyang Liu zliu41
functional programmer, snooker player

@input-output-hk Millbrae CA

@ltouro
Lucas ltouro
CTO at UY3 (financial institution)

UY3 Brazil

@sheaf
sheaf sheaf
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@ZayshaaCodes
ZayshaaCodes
@gekkelll
gekkelll
@enobayram
Enis Bayramoğlu enobayram

@kadena-io The Netherlands

@klapaucius
klapaucius
@mightybyte
Doug Beardsley mightybyte

New York City

@noughtmare
Jaro noughtmare

Netherlands

@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@nfrisby
Nicolas Frisby nfrisby

US

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@aljce
Alice McKean aljce
I like haskell

Portland, OR

@adrianmay
Adrian May adrianmay

Yorkshire, UK

@WillNess
WillNess
@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany

@aadaa-fgtaa
aadaa-fgtaa