Skip to content
View omelkonian's full-sized avatar
🎰
🎰

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

@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

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@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

@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@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

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

Victoria, BC

@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

@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

@sstucki
Sandro Stucki sstucki

Gothenburg, Sweden

@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