Sourcegraph
sourcegraph
Helping developers search, understand, and write code in complex codebases with AI
Determinate Systems
DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Everywhere
The Nim programming language
nim-lang
Nim is a systems programming language with a focus on efficiency, expressiveness, and elegance.
Flutter
flutter
Flutter is Google's UI toolkit for building beautiful, natively compiled applications for mobile, web, desktop, and embedded devices from a single codebase.
iqlusion
iqlusioninc
Accelerating cryptofinance: proof-of-stake validator company operating Agoric, Cosmos Hub, Neutron, Noble, Osmosis, and Stride
Silicon Valley, CA
Informal Systems
informalsystems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
Jacob Gadikian
faddat
Notional Validators in Cosmos: Coding our way to the top of the validator sets
Notional New York
Will Crichton
willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.
Brown University Providence, RI
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Moby
moby
An open framework to assemble specialized container systems without reinventing the wheel.
Tendermint
tendermint
Building the most powerful tools for Cosmos. Investing in teams building the economy of the future. What will you build?
100% remote
Thomas Tanon
Tpt
Creator of @oxigraph. I'm interested in graph databases, Rust, RDF, Wikidata, Wikisource, symbolic AI...
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
PreviousNext