Skip to content
View wasabi315's full-sized avatar
40 followers · 64 following

Achievements

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

Achievements

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

Highlights

  • Pro

Block or report wasabi315

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
@YouyouCong
Youyou Cong YouyouCong
I am a native speaker of delimited continuations.

Institute of Science Tokyo Tokyo, Japan

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@mt-caret
mt_caret mt-caret
typing under the influence
@shunsock
Shunsuke Tsuchiya shunsock
Software Engineer @Findy

Findy Tokyo

@puyogo-suzuki
Go Suzuki puyogo-suzuki
Favorite Language: Babbling.

Dept. of Computer Science, Institute of Science Tokyo Japan.

@pigworker
Conor McBride pigworker

Glasgow

@momeemt
Mutsuha Asada momeemt
CS Student @ Univ. of Tsukuba

University of Tsukuba Ibaraki, Japan

@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

RPTU Kaiserslautern-Laundau Kaiserslautern

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@takenobu-hs
Takenobu Tani takenobu-hs
@viercc
Koji Miyazato viercc
An unemployed smartass. Loves to be correct. Hardly is.

Japan

@Lugendre
Lugendre Lugendre
Numerical computation software engineer. I'm building a numerical solver with Haskell.

@arkedge Japan

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@mizunashi-mana
Mizunashi Mana mizunashi-mana
I love Lazy K!

Tokyo

@jappeace
Jappie Klooster jappeace

jappie software b.v. Kampen

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

Brazil

@mstksg
Justin Le mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@Anduril Orange, CA

@akawashiro
Akira Kawata akawashiro
Working as a compiler and runtime engineer for custom ASIC. I am pursuing the best hack always.

Preferred Networks Japan

@hkmatsumoto
Hirochika Matsumoto hkmatsumoto

The University of Tokyo Tokyo, Japan / Trento, Italy

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@abap34
abap34 abap34
CS Student @ ScienceTokyo

Institute of Science Tokyo Tokyo

@re-taro
Rintaro Itokawa re-taro
Crazy for Web

@CyberAgent

@mrsekut
kota marusue mrsekut
nyan nyan 🐈

Osaka

@Innf107
Prophet Innf107
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jespercockx
Jesper Cockx jespercockx

TU Delft

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

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

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

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@iehality
Palalansoukî iehality
ニョカマー パラランスキー 解かれた花束が光を放つ

Tohoku University

@elpinal
El Pin Al elpinal
Abstract behavior
@jul1u5
Julius Marozas jul1u5
PhD @ Chalmers

Chalmers University of Technology Sweden/Lithuania

@knisht
Konstantin Nisht knisht
@affeldt-aist
affeldt-aist
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

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

Tokyo, Japan

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@Luftalian
Haruki Nakajima Luftalian

Tokyo Institute of Technology Tokyo

@FabianVegaA
Fabián Vega Alcota FabianVegaA
I am a software developer, with a passion for learning about FP and computer science.

Chile

@6wki
Shawki 6wki
Software Eng

Futuriva Dubai

@ras0q
Kira Kawai ras0q
🦖🦖🦖💨

@science-tokyo / @traPtitech Tokyo, Japan

@anko9801
anko anko9801
I am a student in Department of Physics, Tokyo Institute of Technology.
@Hosshii
Hosshii
@kounosukexxx
Shota Kono kounosukexxx

Tokyo Tech

@spaspa
Spa spaspa
@tohutohu
とーふとふ tohutohu
@FujishigeTemma
temma FujishigeTemma

OIST