GitHub integrations
integrations
Integrations built and run by GitHub. If you're looking for more GitHub integrations, see https://github.com/marketplace
Lancelot de Ferrière
wraitii
Building Hyli.
Also a core 0 A.D. developer (that code lives on https://gitea.wildfiregames.com)
HylΓ© Paris
TigerBeetle
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
United States of America
plankevm
Developing Plank a new smart contract language for the EVM and Sensei IR aimed at making EVM manual gas optimization obsolete
Lokathor
Lokathor
You should use the amazing new trio-license:
Zlib OR Apache-2.0 OR MIT
@rust-console, @rust-tutorials United States
Zakaria O. I. A.
razakiau
Zakaria is a SWE who enjoys coding. He is also a constant learner and a curious mind.
@SparklinIO France
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan
OpenTelemetry - CNCF
open-telemetry
OpenTelemetry makes robust, portable telemetry a built-in feature of cloud-native software.
Nadim Kobeissi
nadimkobeissi
OH, IT'S JUST A SIMPLE NUMBERS GAME.
@symbolicsoft, @cure53berlin Paris, France
Faezeh Nasrabadi
FaezehNasrabadi
Passionate about formal verification, binary analysis, secure protocol design, side-channel analysis, reverse engineering, and secure compiler development βΊ
CISPA Helmholtz Center for Information Security SaarbrΓΌcken, Germany
GOAT Network
GOATNetwork
GOAT Network provides Bitcoin-secured infrastructure for the emerging AI agent economy, enabling autonomous agents to transact, build reputation, and coordinate
PreviousNext