Skip to content
View na4zagin3's full-sized avatar
44 followers · 44 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
@toyboot4e
toyboot4e toyboot4e
@langsci
Language Science Press langsci
@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

@kytlogia
橘盧伽 kytlogia
@ncrt035
Tetsufumi Takeshita ncrt035

Kyoto University Kyoto, Japan

@Lyukx
Kaixie Lyu Lyukx

Tokyo Japan

@garasubo
Takumi Shimada garasubo
Perfect stack engineer
@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
Protocol Research and OCaml programming

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 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
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

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

Kyoto, Japan

@hakatashi
Koki Takahashi hakatashi
so smart

Chiba, Japan

@nixeneko
nixeneko
@ikk775
ikk775