Skip to content
View int-index's full-sized avatar
226 followers · 56 following

Organizations

@unisonweb @ruHaskell @serokell

Block or report int-index

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
@BurningWitness
Oleksii Divak BurningWitness
@stedolan
Stephen Dolan stedolan
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@TheMatten
TheMatten
@Zemyla
Zemyla Zemyla
@m50d
Mickey Donaghy m50d

Tokyo, Japan

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@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

@JakobBruenker
Jakob Brünker JakobBruenker
@UnkindPartition
Roman Cheplyaka UnkindPartition

Ukraine

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@echatav
Eitan Chatav echatav
@yairchu
Yair Chuchem yairchu
@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@Peaker
Eyal Lotem Peaker

Israel

@lemmih
David Himmelstrup lemmih

Copenhagen

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@agrafix
Alexander Thiemann agrafix
Haskell Hacker

@stripe San Francisco

@dredozubov
Denis Redozubov dredozubov
@emilaxelsson
Emil Axelsson emilaxelsson

Inrule Gothenburg, Sweden

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@pwm
Zsolt Szende pwm

UK

@mary-avocado
Maria Mukhina mary-avocado
a beginner programmer learning Haskell

Moscow, Russia

@typedrat
Alexis Williams typedrat
I write code sometimes. A little bit of it is even good!

Emeryville, CA

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

London, UK

@Tehnix
Christian Kjær Tehnix
CTO at Yaay (yaaytravel.com), blogging occasionally at codethoughts.io, experimenting at codetalk.io

yaaytravel Copenhagen, Denmark

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

Well Typed LLP Portsmouth, NH, United States

@facundominguez
Facundo Domínguez facundominguez
Software engineer at @tweag.

Tweag Montevideo, Uruguay

@aspiwack
Arnaud Spiwack aspiwack

Tweag Tokyo

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@gbaz
gbaz
@qnikst
Alexander Vershilov qnikst

@cheopslab Moscow, Russia

@4e6
Dmitry Bushev 4e6
@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@k0001
k0001 k0001
@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@avieth
Alexander Vieth avieth

Montreal, Quebec, Canada

@RyanGlScott
Ryan Scott RyanGlScott
@3noch
Elliot Cameron 3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

Indiana

@nikita-volkov
Nikita Volkov nikita-volkov
Expert-level Haskell and Rust consultant.

codemine.io Moscow, Russia

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France

@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@ElvishJerricco
Will Fancher ElvishJerricco
@DanBurton
Dan Burton DanBurton

https://reach.sh San Francisco Bay Area, CA

@wdanilo
Wojciech Daniło wdanilo
CEO @enso.org | ex CEO @ flowbox.io | ex CEO @ coddee.co | ex senior Technical Director @ alvernia.com | Forbes 30 Under 30 | Haskeller

enso.org San Francisco (USA) / Krakow (Poland)

@neongreen
Emily neongreen

@monadfix, @brickdo, @flolet Warsaw, Poland

@ryantrinkle
Ryan Trinkle ryantrinkle

Obsidian Systems New York, NY

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@Hithroc
Artyom Kuznetsov Hithroc
Senior Trixie Expert. Pippsquak in free time.