8000 akirak (Akira Komamura) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View akirak's full-sized avatar
  • Japan Standard Time
  • 08:54 (UTC +09:00)

Sponsoring

@anmonteiro
@natsukium

Organizations

@NixOS @emacs-twist @elpa-mirrors

Block or report akirak

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
@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA

@tim-smart
Tim tim-smart

Tauranga, New Zealand

@LaurenceWarne
LaurenceWarne
ex Maths Student @ UoM

Manchester

@unjs
UnJS unjs
Unified JavaScript Tools
@semgrep
Semgrep semgrep

United States of America

@FormalizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@ethanniser
Ethan Niser ethanniser
average typesafety enthusiast
@riot-ml
Riot riot-ml
A multi-core OCaml runtime

Sweden

@leostera
Leandro Ostera leostera

@AbstractMachinesLab Stockholm

@lf-
jade lf-
soft-clawbed rustacean. 🔹 they
@stefanprodan
Stefan Prodan stefanprodan
Open Source Maintainer @fluxcd

@controlplaneio

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@modal-labs New York, NY

@nwg-piotr
Piotr Miller nwg-piotr
after hours developer, Linux enthusiast, Arch Linux user, creator of nwg-shell for sway and Hyprland

PL

@Rustixir
DanyalMh Rustixir
I love to make Rust to be great and productivity choice for every situation

Jabama

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@falood
Falood Hao falood

╮(╯_╰)╭ Osaka, Japan

@pinpox
Pablo Ovelleiro Corral pinpox
Developer, pentester, consultant, system administrator, student

Freelancer Cologne, Germany

@wkirschbaum
Wilhelm Kirschbaum wkirschbaum
Elixir and Emacs hacker.

Floatpays Cape Town, South Africa

@zhaofengli
Zhaofeng Li zhaofengli

Salt Lake City, UT

@nixified-ai
nixified.ai nixified-ai
Making AI reproducible and easy to run

United Kingdom

@Hoverbear
Ana Hobden Hoverbear
Towards a more hopeful future.

@ferrous-systems Lək̓ʷəŋən Territory

@uwplse
UW PLSE uwplse
University of Washington Programming Languages and Software Engineering

Seattle, WA

@tqwewe
Ari Seyhun tqwewe
software in zugzwang

Melbourne, Australia

@tldraw
tldraw tldraw
Infinite canvas SDK.

United Kingdom

@nix-community
Nix community projects nix-community
A project incubator that works in parallel of the @NixOS org
@alex-ameen
Alex Ameen alex-ameen
Platform engineer with a background in C/C++, Nix, and bash. Libtool maintainer in a past life.

Block Austin Texas

@ksqsf
ksqsf ksqsf
⊨ ksqsf ∈ ksqsf
@inoas
inoas
Full Stack Web Dev

Europe, Germany, FFM/HD/MA

@d12frosted
Boris Buliga d12frosted
I grow under the sun ¯\_(ツ)_/¯

Ukraine

@YousefED
Yousef YousefED
Excited about Open Source, future of programming and local-first software dev. Working on @TypeCellOS, BlockNote and Relive.

Barcelona, Spain / The Netherlands

@NobbZ
Norbert Melzer NobbZ

BravoBike GmbH Hamburg, Germany

@orzechowskid
Dan Orzechowski orzechowskid
I draw rectangles in your web browser

Worcester, MA USA

@domenkozar
Domen Kožar domenkozar
Instilling sanity into building and distribution of software.

@cachix Lanzarote, Canary Islands

@GTrunSec
GuangTao Zhang GTrunSec
if you have any question for me, feel free to email me or gtrunsec:matrix.org

Orange County

@shikanime
Shikanime Deva shikanime
Cute g̸̗̬̲͑́̀̓̎i̷̓ȓ̴̥̳͝l̵͐̏͊͒ doing amazing things̵̝͚̜̈́͑̐s̵̍̇͐͐̍͑̀̎̕s̷̨͖͍̻̟͈̟̜͆̀̍̊͘͜͝s̵͈̱̮̩̤̞͈̣̆͊̈́̄̀́̽͘..̵̩͖͚͎̉͋. 0xO*YyVLZ66h

@shikanimestudio 100.64.0.0/10

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@roberth
Robert Hensing roberth
hercules-ci.com founder: Nix-first CI/CD Nixpkgs: @mention me because I must unsubscribe often

@hercules-ci The Hague, Netherlands

@Lassulus
lassulus Lassulus
wuff wuff

Berlin (usually)

@jonringer
Jonathan Ringer jonringer
A release manager for NixOS 20.09, 21.05, 21.11, and previously 24.05. Functional Programming fan including Haskell and NixOS

Near Seattle, WA

0