Skip to content
View mrsekut's full-sized avatar
🥹
型しか勝たん..!
🥹
型しか勝たん..!

Block or report mrsekut

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@laiso
laiso laiso
Software Engineer

Bangkok, Thailand

@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@KeenS
κeen KeenS
Rustacean, Lisper, MLer, Compiler Writer

Preferred Networks Inc. Tokyo, Japan

@Kuniwak
Yuki Kokubun Kuniwak
Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)

Japan

@graninas
Alexander Granin graninas
Software architect, book author, international speaker | "Functional Design and Architecture" (Manning) | "Pragmatic Type-Level Design"

UAE, Dubai

@ttak0422
Tak ttak0422
SWE. ❤️XR

Japan

@thomashoneyman
Thomas Honeyman thomashoneyman
Core team @purescript. Engineering manager @aristanetworks. Cognitive Science degree from USC. Prev. co-founder and COO of FindMySong (acquired).

@aristanetworks

@azu
azu azu
Creator of @textlint, @secretlint, @honkit and @almin. Editor of @efcl, @jser and @ecmascript-daily. Author of @js-primer. (Don't send me email-ad.)

Tokyo/Japan

@ryota-ka
Ryota Kameoka ryota-ka
プログラミンガー

@herp-inc Shinagawa, Tokyo, Japan

@babarot
Masaki ISHIYAMA babarot
SRE and programmer working with Kubernetes and Terraform. Based in Tokyo. Into hiking, driving, and photography.

SRE at @10xinc Tokyo, Japan

@dai-shi
Daishi Kato dai-shi
React library author, maintaining three state management libraries, Zustand🐻, Jotai👻, Valtio🧙, and React framework, Waku⛩️.

Freelancer Tokyo

@fumieval
Fumiaki Kinoshita fumieval
Bird lover

HERP, Inc. Tokyo

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@aiya000
aiya000 aiya000
NicoNicoNi~~ 🤟🤟 && にっこにっこにー🤟🙄🤟 Moggiと''love''で接近中! ↓「せつラボ」シリーズを執筆中✨(数学および圏論の初歩入門書) https://aiya000.booth.pm/items/1316747

Japan

@kawasima
Yoshitaka Kawashima kawasima

Wolfchief, Inc. Tokyo, 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

@kazu-yamamoto
Kazu Yamamoto kazu-yamamoto

Internet Initiative Japan Inc Tokyo, JAPAN

@cohyou
OKAZAKI Yasuo cohyou

ironoir Osaka, Japan

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

Positron AI Farmington Hills, MI

@inamiy
Yasuhiro Inami inamiy
Software developer at @GoodNotes . Interests: Swift / Haskell / PureScript / Elm / Rust / TypeScript / Category Theory

@GoodNotes London, UK

@Ziphil
Ziphil Ziphil
A front-end engineer, doing everything by coding.
@keigoi
Keigo Imai keigoi

DeNA Co., Ltd. Nagoya, Japan

@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet) Kawasaki, Japan

@matsubara0507
MATSUBARA Nobutada matsubara0507
i like Haskell

mixi, inc. Tsukuba Ibaraki

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

Osaka, Japan

@lotz84
Tatsuya Hirose lotz84
I'm software engineer in Japan. I 'm interested in Haskell and machine learning.

FOLIO Hanzomon, Tokyo, JAPAN

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@ahejlsberg
Anders Hejlsberg ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.

Microsoft Redmond, WA, USA

@igrep
YAMAMOTO Yuji igrep
Japanese software developer. Loves rhythm games, PreCure, and Pompom Purin!

MagicPod Inc. Tokyo

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

Kyoto, Japan

@lattner
Chris Lattner lattner

Bay Area, California, USA

@voluntas
V voluntas
時雨堂 (Shiguredo)

@shiguredo Akihabara/Japan

@maekawatoshiki
uint256_t maekawatoshiki
C++, Rust, Graduate student

Japan