Skip to content
View effectfully's full-sized avatar
225 followers · 280 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 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
@Tknott95
TKnott Tknott95
mostly private repos that will slowly be open-sourced but possibly can be half-baked at times (made some public repos private again)

Freelance Software Engineer Denver, CO

@alpmestan
Alp Mestanogullari alpmestan

Rising Sea Labs

@eust-w
longtao eust-w
Focus on AI !

Sol III

@gekkelll
gekkelll
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@ivanovs-4
Sergey Ivanov ivanovs-4

Russia, Saratov

@NathanielB123
Nathaniel Burke NathanielB123
@fishtreesugar
FTS fishtreesugar
Always has been 🌏👨‍🚀🔫👨‍🚀🌌

TX

@raehik
Ben Orchard raehik
reads and writes computer

computer

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

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

COSD (Cardano stake pool & consultancy) Ireland + USA + nomadic

@Unisay
Yura Lazarev Unisay
Everything matters

Berlin

@IanPatterson99
IanPatterson99
@euonymos
Ilia Rodionov euonymos

MLabs Cuernavaca, Mexico

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

@pascal-lab

@penguin-wwy
penguin_wwy penguin-wwy
Compiler; Static Analysis; Love Kotlin; Rust is the best great program :)

Shanghai

@tiye
题叶 tiye
Cirru Calcit Maintainer.

Shanghai, China

@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@Emraors
E. M. Emraors
Category Theory | Functional Programming.

Sinapsi s.r.l. Milan

@bboggs-streambit
bboggs-streambit
@cmcmA20
cmcmA20
@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@juniorxxue
Xu Xue juniorxxue
@jreichle
Johannes Reichle jreichle

Munich

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@Innocent-Akim
AKILIMAILI CIZUNGU Innocent Innocent-Akim
Software developer

@ever-co DRC, Congo Goma

@thelissimus
kei thelissimus
FP, PLT, DTT & Logic. Haskell & Lean 4. Versatile, logical, industrious.

Die Toteninsel

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

@Indra2108
ابو الحسن الجاوي Indra2108

here ~

@Ei30metry
Artin Ghasivand Ei30metry
Programming language theory enthusiast.
@beike-zh
beike-zh
@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@prez
prez
@Boarders
Callan McGill Boarders
@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

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

Software Engineer @ Ulvetanna Oslo, Norway

@Ryun1
Ryan Ryun1

Intersect @IntersectMBO London

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

@mlabs-haskell Chiang Mai

@Liberty-Chris
Liberty.Chris. Liberty-Chris
Chris Hockaday DripDropz Adosia Tokhun TR

DripDropz / Adosia / Tokhun Indianapolis, IN

@road21
Aleksey Troitskiy road21
@thanhvh2205
Thanh thanhvh2205
Blockchain engineer

MELD Hanoi

@yfeng
yfeng yfeng

ChengDu,China

@harryprayiv
Harry Pray IV harryprayiv
Haskell, Nix, Plutus, Purescript; functional programming enthusiast

Cambridge, MA

@tuckpuck
Tucker Triggs tuckpuck
Website developer | Cardano developer | Digital nomad

Tucker Triggs Development

@rvcas
Lucas rvcas
λ : metal . bender

Miami, FL

@codecontemplator
Daniel Brännström codecontemplator

Sverige

@ericwang385
eric wang ericwang385

Gothenburg, Sweden

@jeancaguilar1
jeancaguilar1