Yuki Kokubun
Kuniwak
Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)
Japan
Chainguard
chainguard-dev
Making the software supply chain secure by default.
United States of America
ESPHome
esphome
ESPHome is a system to control your microcontrollers by simple yet powerful configuration files and control them remotely through Home Automation systems.
Your home
nvim-telescope
nvim-telescope
An organization to help foster a community around telescope.nvim
1Password
1Password
1Password remembers all your passwords for you. It keeps your digital life secure and always available, safe behind the one password that only you know.
Toronto, Canada
Filip Skokan
panva
Identity, OpenID Connect, OAuth 2.0, SSO, Authorization, Authentication, Technical Standards.
Node.js core collaborator and TSC member.
Czech Republic
Zig Programming Language
ziglang
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
United States of America
Sorah Fukumori
sorah
@ivry-inc | AS59128 @kmc-jp Tokyo, Japan
authzed
authzed
Creators of SpiceDB, the open source fine-grained permissions database. YC W21.
Aikido Security
AikidoSec
Aikido Security is a developer-first software security platform. We scan your source code & cloud to show you which vulnerabilities are actually important.
Belgium
NATS - The Edge & Cloud Native Messaging System
nats-io
NATS is a simple, secure and performant communications system and data layer for digital systems, services and devices.
Nix community projects
nix-community
A project incubator that works in parallel of the @NixOS org
Everywhere
PreviousNext