Skip to content
View na4zagin3's full-sized avatar
36 followers · 42 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report na4zagin3

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
@org-trello
org-trello
Sync your board with emacs' org-mode buffer
@maekawatoshiki
uint256_t maekawatoshiki
C++ / Rust / Graduate student

Japan

@khibino
日比野 啓 (Kei Hibino) khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/

Tokyo, Japan

@hsjoihs
hsjoihs hsjoihs
Most of my recent personal projects are at @sozysozbot

@dwango Tokyo

@yoshihiro503
YOSHIHIRO Imai yoshihiro503
CEO of proof ninja, Inc. Coq proof developer

@proof-ninja, Inc Chiba, Japan

@Magnezone462
Kyt Logia Magnezone462
@ncrt035
Tetsufumi Takeshita ncrt035

Kyoto University Kyoto, Japan

@Lyukx
Kaixie Lyu Lyukx

Tokyo Japan

@garasubo
Takumi Shimada garasubo
Web application developer/Rust enthusiast/embedded programming
@MasWag
Masaki Waga MasWag

Kyoto University Kyoto, Japan

@yasuo-ozu
yozu yasuo-ozu
Arch Linux is the Best.

Nagoya Univ. Nagoya, Aichi, Japan

@linoscope
Lin Oshitani linoscope
Software engineer and blockchain protocol researcher living in Tokyo.

Nethermind Tokyo

@otchy210
Otchy otchy210
@sozysozbot
sozysozbot / hsjoihs sozysozbot
https://twitter.com/sosoBOTpi https://twitter.com/hsjoihs Identical to @hsjoihs

Tokyo

@PaulMorris
Paul Morris PaulMorris
See also: https://gitlab.com/paulmorris
@zeptometer
Yuito Murase zeptometer

Kyoto

@smorimoto
Sora Morimoto smorimoto

@ocaml @tc39 Cambridge, UK / Tokyo, Japan

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@mt-caret
mt_caret mt-caret
typing under the influence
@seumasjeltzz
seumasjeltzz
@johnvining
John Vining johnvining
Interested in what new stuff can do for old stuff.

Madison, Wi

@y-yu
YOSHIMURA Yuu y-yu
I'm interested in Scala, Functional Programming, LaTeX and Cryptography.

@recruit-mp Japan

@amutake
Shohei Yasutake amutake

@Idein Tokyo, Japan

@yuchiki
yuchiki

Tokyo

@yutopp
yutopp yutopp
草

Japan

@ukikagi
ukikagi ukikagi
@ComFreek
ComFreek ComFreek
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal

@KWARC Germany

@pjheslin
pjheslin
@keigoi
Keigo Imai keigoi

DeNA Co., Ltd. Nagoya, Japan

@monaqa
monaqa monaqa
Vim (Neovim) / Rust / SATySFi

Tokyo, Japan

@matsud224
Daiki Matsunaga matsud224

Kyoto, Japan

@garetxe
Iñaki garetxe
@akryukov
Alexey Kryukov akryukov

Moscow State University

@alekkeersmaekers
alekkeersmaekers
@nyuichi
Yuichi Nishiwaki nyuichi

University of Tokyo & Idein Inc. Tokyo, Japan

@puripuri2100
Kitano-Kaneko, Naoki puripuri2100
SATySFi/Rust

University of Tsukuba Ibaraki, Japan

@na2hiro
na2hiro na2hiro
I like the web. Senior Software Engineer @ Indeed (Pronunciation: nah-two-hero or nah-tsoo-hero)

Indeed, Inc. Hokkaido, Japan

@pi8027
Kazuhiko Sakaguchi pi8027
A research engineer in the Gallinette team at Inria, interested in interactive theorem proving, formalization of mathematics, and proof by reflection.

Nantes, France

@gfngfn
Takashi Suwa gfngfn

Kyoto, Japan

@hakatashi
Koki Takahashi hakatashi
so smart

Chiba, Japan

@nixeneko
nixeneko
@ikk775
ikk775