8000 NeM-T (nem) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View NeM-T's full-sized avatar
10 followers · 11 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report NeM-T

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
@KtlTheBest
KtlTheBest
Passing by your repository
@kmizu
Kota Mizushima kmizu
Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...

Osaka, Japan

@smorimoto
Sora Morimoto smorimoto

@ocaml @tc39 Cambridge, 6E07 UK / Tokyo, Japan

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team at CNRS, ENS de Lyon, UCBL, LIP | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection

Lyon, France

@na0214
Aoi Nakamura na0214
@gentam
Genta Mochizawa gentam
@tenpoku1000
市川 真一 tenpoku1000
コンパイラ・IDE・OS・VMM・IME の開発に興味があります

関東地方(Kanto), 日本(Japan)

@sodium334
Yosuke Yanai sodium334
Sodiumです
@yumaueda
Yuma Ueda yumaueda
@nagayama3
NAGA nagayama3
@sksat
sksat sksat
I love low-layer and universe

@arkedge Japan

0