Skip to content
View oskin1's full-sized avatar
79 followers · 81 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@ScorexFoundation @ergoplatform @EncryFoundation @spectrum-finance

Block or report oskin1

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
@logicalmechanism
Logical Mechanism logicalmechanism
Cardano Stake Pool Operation And Smart Contract Development

Logical Mechanism USA

@gakonst
Georgios Konstantopoulos gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz

@paradigmxyz Thessaloniki, Greece

@romac
Romain Ruetschi romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

@informalsystems Lausanne, Switzerland

@HoTT
Homotopy Type Theory HoTT
@colll78
colll78

Anastasia Labs

@micahkendall
Micah micahkendall
Pins are current (public) focuses.
@HigherOrderCO
HigherOrderCO HigherOrderCO
Building the massively parallel future of computers
@RiscInside
Iurii Zamiatin RiscInside

Imperial College London London

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

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

Higher Order Company Rio de Janeiro, Brazil

@fan-tom
Alexey Gerasimov fan-tom
@phil-opp
Philipp Oppermann phil-opp

Karlsruhe, Germany

@K-Singh
Kirat Singh K-Singh
My Repository
@pragmaxim
pragmaxim
E95E 3C62 99AA A603

Pragmaxim Prague

@kchalkias
Kostas Chalkias kchalkias
Applied Cryptographer, Software Engineer, Data Scientist

@Facebook Menlo Park, CA

@ElementsProject
ElementsProject ElementsProject
@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@minswap
Minswap minswap
Decentralized trading protocol on Cardano

Moon

@edwinb
Edwin Brady edwinb
@mlabs-haskell
MLabs mlabs-haskell
Haskell, Rust, FinTech and AI Consultancy

United Kingdom

@spectrum-finance
Spectrum Labs spectrum-finance
Open-source cross-chain ecosystem
@SebastienGllmt
Sebastien Guillemot SebastienGllmt
See Twitter for bio

dcSpark Japan

@mhssamadani
mhs_sam mhssamadani
Ergo Foundation Board Member. PhD in Computer Science. MPC and Blockchain Researcher

ergoplatform

@solomon-b
Solomon solomon-b

Costar Astrological Society Los Angeles

@rssh
Ruslan Shevchenko rssh

Kiev, Ukraine

@johnynek
P. Oscar Boykin johnynek
Some guy on Maui... I used to work at Stripe and before that Twitter. I like correct and fast code.

Maui, HI

@yasha-black
yb yasha-black

@spectrum-finance

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@robkorn
Robert Kornacki robkorn
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.

dcSpark

@KtorZ
Matthias Benkort KtorZ

@cardano-foundation Toulouse

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@EncodePanda
Pawel Szulc EncodePanda
@semyonoskin
Semyon Oskin semyonoskin
Scala developer. Interested in functional programming

Moscow, Russia

@propensive
Jon Pretty propensive
Scala developer

Propensive Germany

@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

@aslesarenko
Alexander Slesarenko aslesarenko

@input-output-hk Earth

@vpavkin
Vladimir Pavkin vpavkin
Scala Developer

Moscow, Russia

@MateuszKubuszok
Mateusz Kubuszok MateuszKubuszok
When I don't program for a living, I live for programming. Or not. (Depends on the weather outside).

Żory, Poland

@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@fommil
>>= fommil
₿=bc1qf9ndlh4a2zu06x2p67fl8l9duvndmp9zxpz8zf
@neko-kai
Kai neko-kai

@7mind

@jsuereth
Josh Suereth jsuereth

Pittsburgh, PA

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@robrix
Rob Rix robrix
Colouring outside the lines.
@saraiva132
Rafael Saraiva Figueiredo saraiva132
Functional programming and distributed systems enthusiast

@coralogix Portugal

@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@julien-truffaut
Julien Truffaut julien-truffaut
Functional Scala instructor and consultant

@fp-tower London

@winitzki
Sergei Winitzki winitzki
Theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages

Workday, Inc. Pöring, Germany

@kubukoz
Jakub Kozłowski kubukoz
Scala developer who likes functional programming and other nice things. Sometimes I run; sometimes I speak at conferences.

SiriusXM (contractor) Wrocław

@fomkin
Aleksey Fomkin fomkin Suspended
Scala Enthusiast. Podcaster. Loving father.

Orel, Russia