Skip to content
View spavikevik's full-sized avatar
🐵
hi
🐵
hi
69 followers · 313 following
  • Japan

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report spavikevik

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Mathewnd
Matheus Mathewnd
CS student and hobbyist OSDev.

Rio Grande do Sul, Brazil

@trifectatechfoundation
Trifecta Tech Foundation trifectatechfoundation
Open infrastructure software in the public interest

Netherlands

@MiSTle-Dev
MiSTle Develoment MiSTle-Dev
FPGA Retro Computing Framework
@tagavari
Cole Feuer tagavari

Canada

@jblanked
JBlanked jblanked
International Hip Hop Record Producer and Artist.

North Carolina, United States

@cxxxr
cxxxr cxxxr

Japan

@o8vm
Hayato Ohhashi o8vm

Tokyo, Japan

@jonkara
たにし jonkara
@hng
Henning hng

worker-owner at @unicode-it Ruhr area, Germany

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@takenobu-hs
Takenobu Tani takenobu-hs
@LeoPavik
比嘉　伶央南 LeoPavik
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@NickBarnes
Nick Barnes NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.

Cambridge, UK

@reibitto
reibitto

Tokyo, Japan

@Nymphium
Satoru Kawahara Nymphium
lily, Aikatsu, language implenemtation

@eiicon-company Fujisawa, Japan

@rileytestut
Riley Testut rileytestut
App developer. Building AltStore and Delta 🇺🇸🇳🇿

Dallas, TX

@arowM
Sakura-chan the goat arowM
Hi, I'm a goat. bleat. A freelance UX hacker / translator / artist.

ARoW Co., Ltd. Osaka Japan

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@anton-trunov
Anton Trunov anton-trunov
Compilers, AI, formal verification

https://www.cerebras.ai Dubai

@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

@steshaw
Steven Shaw steshaw
Loves programming languages!

Brisbane, Australia

@faustind
Faustin Date faustind
Eater of pancakes, player of the beautiful game ⚽️

Tokyo, Japan

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@kgston
Kingston Chan kgston
Scala/Javascript/Java EE developer specialising in designing and architecting SOA/micro services & AWS cloud deployment

Tokyo, Japan

@smarter
Guillaume Martres smarter
Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.

Arteris / Scala Center Lausanne, Switzerland

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@lilyball
Lily Ballard lilyball
🏳️‍⚧️🏳️‍🌈 Rustacean 🦀. Nix lover. Programming language aficionado. She/her.

San Leandro, CA

@banacorn
Ting-gian LUA banacorn
Into CS, maths, and linguistics.

Taipei, Taiwan

@thautwarm
Taine Zhao thautwarm
Casting a fireball.
@kyouko-taiga
Dimi Racordon kyouko-taiga
Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.
@liuxinyu95
Liu Xinyu liuxinyu95

Beijing, China

@jonringer
Jonathan Ringer jonringer
A release manager for NixOS 20.09, 21.05, 21.11, and previously 24.05. Functional Programming fan including Haskell and NixOS

Shopify Near Seattle, WA

@guibou
Guibou guibou
Haskell, C++, Nix. Background in computer graphics, but worked on reproducible planes and in silico clinical trial. I jump from planes.

Saint-Paul - Reunion - France

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@j5ik2o
Junichi Kato j5ik2o
I'm a tech-lead in the IDEO;PLUS Inc, is lover to Scala/Rust, Akka, DDD/CQRS+Event Sourcing.

IDEO;PLUS Arakawa-ku, Tokyo, Japan

@audreyt
唐鳳 audreyt
🇹🇼 Cyber Ambassador, 1st Digital Minister (2016-2024) & 🌐 1st 🏳️‍⚧️ cabinet minister.

@g0v Taiwan

@waddlaw
Shinya Yamaguchi waddlaw
Haskell, TypeScript

Japan

@ktoso
Konrad `ktoso` Malawski ktoso
Concurrency & Distributed systems in Swift @ ; ex: Akka | Reactive Streams

We sell fruit. ¯\_(ツ)_/¯ I'm fine, thanks! Tokyo

@kakkun61
Kazuki Okamoto kakkun61
岡本和樹 [o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟]

Osaka, Japan

@lattner
Chris Lattner lattner

Bay Area, California, USA

@hmemcpy
Igal Tabachnik hmemcpy

Israel

@lukel97
Luke Lau lukel97

Hong Kong

@ichii386
Takashi Ichii ichii386
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@marcelocenerine
Marcelo Cenerino marcelocenerine

Ireland

@y-taka-23
Cheshire Cat y-taka-23

Tokyo, Japan

@BebeSparkelSparkel
William Rusnack BebeSparkelSparkel
Language designer and compiler expert. Building the BID Suite and HLC Lang for formally verified programming and distributed systems.

LangProd Marquette, MI, USA

@kazu-yamamoto
Kazu Yamamoto kazu-yamamoto

Internet Initiative Japan Inc Tokyo, JAPAN