Skip to content
View omelkonian's full-sized avatar
🎰
🎰
128 followers · 212 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@input-output-hk @rhea-flow

Block or report omelkonian

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
@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@symbiont-eric-torreborre
Eric Torreborre symbiont-eric-torreborre
@robrix
Rob Rix robrix
Colouring outside the lines.
@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@amiller
Andrew Miller amiller
Distributed systems, applied cryptography, programming languages

University of Illinois Champaign, IL

@chessai
chessai chessai
one must imagine sisyphus hacking
@sorki
Sorki sorki
Complexity management, ministry of chaos. I also like cats 🐈‍⬛

@fivebinaries Krno, Czech Republic

@cpressey
Chris Pressey cpressey
Unhappy ex-GitHub product who made like a turn and left. Using a non-profit code host instead now. Follow me if you dare.

Office... submarine!

@xmonader
xmonader xmonader
I chase monads in my free time.

@threefoldtech Egypt

@googleson78
Georgi Lyubenov googleson78

@tripshot

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@jfischoff
Jonathan Fischoff jfischoff

fal.ai San Francisco

@jtdaugherty
Jonathan Daugherty jtdaugherty

Galois, Inc. Portland, OR

@martijnbastiaan
Martijn Bastiaan martijnbastiaan
COO / Aspiring compiler engineer at QBayLogic B.V.

QBayLogic B.V. Enschede, Netherlands

@anqur
Anqur anqur
I make programming languages.

@Suzhou-Tongyuan Chengdu, China

@scott-fleischman
Scott Fleischman scott-fleischman
@rodrigogribeiro
Rodrigo Geraldo Ribeiro rodrigogribeiro
@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@Ali-Hill
Alasdair Hill Ali-Hill
@mgajda
Michał J. Gajda mgajda
Software developer with experience in functional programming, JS, CSS, XML, and zillions of other languages. No, I do not SSH telepathically ;-).

Singapore

@ernius
Ernesto Copello ernius
I am a polyglot functional programmer with academic and industry experience. I have experience in backend programming and dependent typed programming.

Uruguay

@madman-bob
madman-bob
@WhatisRT
Andre Knispel WhatisRT

IOHK

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

Victoria, BC

@bellissimogiorno
bellissimogiorno
@L-as
L-as
@mr-ohman
Joakim Öhman mr-ohman
@bacam
Brian Campbell bacam
@jakzale
Jakub Zalewski jakzale
@eibens
Lukas Eibensteiner eibens
I'm a computer scientist and programmer living in Vienna. My passions are visualizations, music theory, and building fun things for the web.

Austria

@guillaumebrunerie
Guillaume Brunerie guillaumebrunerie
Developer at ELK Studios. Working with Typescript, React, Redux, and Go.

Stockholm, Sweden

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@asr
Andrés Sicard-Ramírez asr

Universidad EAFIT

@ashinkarov
Artem Shinkarov ashinkarov

UK

@liesnikov
liesnikov
I usually go by Dana, but my full name is Bohdan Liesnikov 🇺🇦
@SimonJF
Simon Fowler SimonJF

University of Glasgow Glasgow

@elektra85
Ornela Dardha elektra85

University of Glasgow Glasgow, UK

@Saizan
Andrea Vezzosi Saizan
@sstucki
Sandro Stucki sstucki

Gothenburg, Sweden

@neilghani
neilghani
@hazelweakly
Hazel Weakly hazelweakly
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.

Seattle, WA

@sabry
Amr Sabry sabry

Indiana University Bloomington, IN, USA

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@DanBurton
Dan Burton DanBurton

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

@mattecapu
Matteo Capucci mattecapu
Independent Researcher. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@stefaniatadama
Stefania Damato stefaniatadama
PhD student

University of Nottingham