Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View LumaKernel's full-sized avatar
🛌
.o0○
🛌
.o0○
  • Tokyo, Japan
  • Codestin Search App @lumc_

Organizations

@Optimind-llc @vim-denops

Block or report LumaKernel

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
@gcanti
Giulio Canti gcanti
mathematician and rock climber

Milan, Italy

@lapisla-prover
lapisla-prover lapisla-prover
lapisla-prover development team

Japan

@WinterTC55
WinterTC WinterTC55
Technical Committee on Web-interoperable Server Runtimes
@ensan-hcl
Miwa ensan-hcl
🫘 Developer of azooKey 🚀 Mitou IT 2024 💻 ML Engineer at Turing ⌨️ Former Intern at Google Japan

@turingmotors Tokyo

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

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

@Effect-TS
Effect Effect-TS
A set of libraries to write better TypeScript

London

@SAWARATSUKI
SAWARATSUKI SAWARATSUKI
どこにでも居る開発者です。 ESCLの開発をしています。 @SawashiroBot FnoTesを運用しています。 APEX SIMILARの開発者 Node.js や Next.js , C# や HTML / CSS / PHP などを扱っています。

JP

@imsnif
Aram Drevekenin imsnif
Indie Developer - rethinking our terminal experience.

Vienna, Austria

@samuelmtimbo
Samuel Timbó samuelmtimbo
I have a vision for the Future of Computing

UNIT IO

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@sozysozbot
sozysozbot / hsjoihs sozysozbot
https://twitter.com/sosoBOTpi https://twitter.com/hsjoihs Identical to @hsjoihs

Tokyo

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

Japan

@codecov
Codecov codecov
Empower developers with tools to improve code quality and testing.

United States of America

@huggingface
Hugging Face huggingface
The AI community building the future.

NYC + Paris

@mala
mala mala

LINE japan

@sindresorhus
Sindre Sorhus sindresorhus
Full-Time Open-Sourcerer. Focused on Swift & JavaScript. Makes macOS apps, CLI tools, npm packages.
@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA

@gvergnaud
Gabriel Vergnaud gvergnaud
Type-level TypeScript nerd — Author of type-level-typescript.com, TS-Pattern, HOTScript

Paris

@vercel
Vercel vercel
Develop. Preview. Ship. Creators of Next.js.

United States of America

@leshakoss
Lesha Koss leshakoss
JavaScript developer. Made @date-fns. Front-end engineer at @ataccama.

@ataccama Prague, Czech Republic

@prc5
Maciej Pyrc prc5
⚡I'm fighting Typescript so you don't have to.

OpenTrack & @BetterTyped Katowice

@gillescastel
Gilles Castel gillescastel
Mathematics student

University of Leuven Belgium

@fabon-f
fabon fabon-f
Ruby, TypeScript, Linux, Russian.

Japan, Tokyo

@yyx990803
Evan You yyx990803
Founder @voidzero-dev, author of @vuejs and @vitejs. Connoisseur of sushi.

VoidZero Singapore

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

@Jij-Inc Japan

@k0kubun
Takashi Kokubun k0kubun
Optimizing Ruby's JIT compilers.

@Shopify Cupertino, CA

@megumish
megumish megumish
Rust, IETF-QUIC, OpenTelemtry a.k.a Keishi Kawada
@colinhacks
Colin McDonnell colinhacks
I have come here to chew bubblegum and write code. And _InsufficientBubblegumException_

Seattle, WA

@lpenz
Leandro Lisboa Penz lpenz
Programming language enthusiast with Rust and Haskell adventures - and 20+ years of professional embedded C programming with a lot of python.

Arista Networks Dublin, Ireland

@TanStack
TanStack TanStack
Open source software for web developers
@tani
TANIGUCHI Masaya tani
I am a LISP interpreter.

RIKEN / Tohoku Univ Earth

@tauri-apps
Tauri tauri-apps
Build smaller, faster, and more secure desktop applications with a web frontend
@SegaraRai
SegaraRai
Web and Binaries

ex-大学院 JP

@kazuemon
かずえもん kazuemon
I'm chief cook and bottle-washer 👨‍🎓

k6n.jp Sagamihara, Kanagawa