[go: up one dir, main page]
Skip to content
View denjiry's full-sized avatar
25 followers · 56 following

Sponsoring

@tarsius

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Block or report denjiry

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
@FormalizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@skanehira
skanehira skanehira
Vim, Go, Rust, TypeScript. Many CLI/TUI Tools, Vim plugins author.

Japan

@lean-ja
lean-ja lean-ja
Lean に関する情報の交換と集積を目的とした日本語コミュニティです．

Japan

@kachick
Kenichi Kamiya kachick
require_relative 'interesting'

127.0.0.1

@equal-l2
equal-l2

Japan

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@japanese-law-analysis
japanese-law-analysis
@nomaddo
nomaddo nomaddo

Japan

@kenoss
keno (Ken Okada) kenoss

@google Tokyo, Japan

@zonuexe
USAMI Kenta zonuexe
All my English is bad. Anyone can replace all my sentences. ヾ(〃＞＜)ﾉﾞ☆ < I'm tadsan.

@pixiv Inc. and @emacs-php Shibuya, Tokyo, Japan

@den-taku
Takumi TADA den-taku
Hello, world!!

Department of Applied Mathematics and Physics, Graduate School of Informatics, Kyoto University Kyoto

@jinjor
Yosuke Torii jinjor
Focusing on Web frontend, Elm, TypeScript and Deno.

@Idein Tokyo, Japan

@jiftechnify
Takumi Fujiwara jiftechnify
Tokyo Tech CS→Full-stack™ SWE. interests: Programming language theory, music, music/rhythm games

Yokohama, Japan

@mandel59
Ryusei Yamaguchi mandel59

Tokyo, Japan

@Leko
Shingo Inoue Leko
I create productivity tools with JavaScript/TypeScript. Formerly Node.js collaborator

@Yuimedi Japan

@rhysd
Linda_pp rhysd
A dog enjoying software development (with bugs)

#"><img src=X Tokyo, Japan

@TaKO8Ki
Takayuki Maeda TaKO8Ki
Software Engineer? | Member of @rust-lang compiler team contributors

@moneyforward Kyoto, Japan

@syohex
Shohei YOSHIDA syohex
A programmer

Tokyo, Japan

@affeldt-aist
affeldt-aist
@uhyo
uhyo uhyo
A ソフトウェア engineer who loves TypeScript

Tokyo

@utam0k
Toru Komatsu utam0k

Preferred Networks @pfnet Japan

@fujita
FUJITA Tomonori fujita

Japan

@ytanimura
Yoshinori Tanimura ytanimura
Researcher @ricosjp Ph.D. in Mathematical Science Keywords: Mathematics, nilpotent Lie group, CG

RICOS Co. Ltd. Japan

@termoshtt
Toshiki Teramura termoshtt
Ph.D. in Turbulence/Dynamical Systems

@Jij-Inc Japan

@namachan10777
Nakano Masaki namachan10777
University of Tsukuba;HPCS SS Team;

University of Tsukuba Ibaraki, Japan

@akatsuki105
Akatsuki akatsuki105
!?

Japan

@sorami
Sorami Hisamoto sorami
Interested in tools for thought.

@MIERUNE Sapporo, Japan

@zakuro9715
zakuro zakuro9715
Japanese programmer. A student at The Open University of Japan.

Akashi, Japan

@octaltree
octaltree octaltree
@toku-sa-n
Hiroki Tokunaga toku-sa-n
Worker

Kanagawa, Japan

@dalance
Naoya Hatta dalance

PEZY Computing K.K. Kanagawa, Japan

@udzura
Kondo Uchio udzura
Rubyist, founder of haconiwa, rbbcc, niao, etc

Japan::Fukuoka

@higumachan
Yuta Hinokuma higumachan

KICONIA WORKS

@shnmorimoto
Shinichi Morimoto shnmorimoto

Tokyo/Japan

@hide5stm
Hideaki Igarashi hide5stm

Tokyo

@yuk1ty
Yuki Toyoda yuk1ty
Software Engineer 🇯🇵

Sansan, Inc. Tokyo, Japan

@laysakura
Sho Nakatani laysakura
A low-level system developer / backend engineer in Tokyo.

Tokyo, Japan

@tanakamura
Takashi Nakamura tanakamura
I am software.
@terasakisatoshi
Satoshi Terasaki terasakisatoshi
JuliaLang package/code creator Miyagi, Sendai/Japan 　 MainLang: Julia/Python

JuliaLang user Miyagi/Japan

@fetburner
Masayuki Mizuno fetburner

@wantedly Tokyo

@sadnessOjisan
sadnessOjisan sadnessOjisan
インターン生に怒られることで有名

名誉ゼミ生

@bluesky0906
SoraTagami bluesky0906
Ochanomizu University
@ishowta
iwatachan ishowta
Happy Roaming ฅ•ω•ฅ

Japan

@ubnt-intrepid
Yusuke Sasaki ubnt-intrepid
Rustacean

Japan

@muratak17
muratak17
@myuon
myuon myuon

Japan

@lo48576
YOSHIOKA Takuma lo48576
Mainly writing Rust. Writes C / C++ a little. Loves XML. 最近おしごとで C++ 書くことになって白目剥いてる。 これからは GitLab メインで使っていく (<https://gitlab.com/nop_thread>)

Asia/Tokyo, UTC+0900

@kmizu
Kota Mizushima kmizu
Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...

Osaka, Japan

@tkoyama010
Tetsuo Koyama tkoyama010
3D visualization library @pyvista maintainer & translator, @scipy-conference chairperson, Photo by: @pyconjp CC-BY 2.0

@ark-info-sys Japan

@JohnTitor
Yuki Okushi JohnTitor
Japanese codewriting ninja, FLOSS nerd, warrior of light, and Aphelios OTP

Japan / Eorzea