Skip to content
View MangoIV's full-sized avatar
🥭
🐛✅
🥭
🐛✅
109 followers · 76 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report MangoIV

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@meooow25
Soumik Sarkar meooow25
@TeofilC
Teo Camarasu TeofilC

Leeds, UK

@fendor
fendor
@timsueberkrueb
Tim Süberkrüb timsueberkrueb

University of Tübingen Germany

@haglobah
Beat Hagenlocher haglobah
I enjoy learning. A lot.

Tübingen, Germany

@LaurentRDC
Laurent P. René de Cotret LaurentRDC
Scientific computing, functional programming, and hardtech innovation. Chair of the @haskellfoundation

@bitnomial Montréal

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@edsko
Edsko de Vries edsko

Well-Typed Netherlands

@gshen42
Gan Shen gshen42
@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Noeon Research (@noeon-ai) Kawasaki, Japan

@lpil
Louis Pilfold lpil
Creator of the Gleam programming language.

London, UK

@sjoerdvisscher
Sjoerd Visscher sjoerdvisscher

Tweag Oisterwijk, NL

@zebreus
Zebreus zebreus
🚶human
@chessai
chessai chessai
one must imagine sisyphus hacking
@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@echatav
Eitan Chatav echatav
@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@simmsb
Ben Simms simmsb
I *will* put rust on your microcontroller, and you *will* enjoy it.

@artificialio Deutschland

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@jappeace
Jappie Klooster jappeace

jappie software b.v. Kampen

@thufschmitt
Théophane Hufschmitt thufschmitt
@fgaz
Francesco Gazzetta fgaz
Haskell | NixOS

Italy

@PPKFS
Avery PPKFS
@simonpj
Simon Peyton Jones simonpj

Epic Games

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@pigworker
Conor McBride pigworker

Glasgow

@maralorn
Malte Ott maralorn
Mathematical physicist, hacking in Haskell and Nix for fun and profit.

@heilmannsoftware Europe

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

Victoria, BC

@mniip
mniip mniip
He/Him. Functional programming & Pure math.

@Typeable Belgrade, Serbia

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@gnumonik
gnumonik
types of types of types of types
@bladyjoker
Dražen Popović bladyjoker
Somebody should do something

@input-output-hk Switzerland

@noughtmare
Jaro noughtmare

Netherlands

@emilypi
Emily Pillmore emilypi
Yeehaw

Salt Lake City, Utah

@mrcjkb
Marc Jakobi mrcjkb
Insanity is running the same build over and over again and getting different results.

Zurich, Switzerland

@KarlK90
Stefan Kerkmann KarlK90

Leipzig

@GroooveBob
Marco "Bob" GroooveBob

Germany

@TotallyNotChase
Chase TotallyNotChase
Don't ya love the smell of bugs and glitches in the mornin'

Hell

@treeowl
David Feuer treeowl
@RyanGlScott
Ryan Scott RyanGlScott
@Saizan
Andrea Vezzosi Saizan