FlightAware has built the world’s leading aviation software platform, processing over 180 million incoming messages an hour from over 30,000 feeds—over 2TB a day and growing—to provide the best, most complete, and most accurate real-time flight trac…

Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada, a sove…

We're developing the "single-person Hollywood Studio" to compete with Disney, Netflix, and Adobe. We're currently leveraging Unreal Engine, motion capture, WASM, and deep fake technology to create a storytelling engine. We'll also be selling our sol…

Bytebeam is an IoT focused cloud platform. Bytebeam aspires to be a one stop destination for all the makers out there building new age smart & connected products. Think of AWS but focused on IoT. We are super passionate about solving the tough probl…

Lurk Lab is building Lurk, a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify…

At Tangram, we are making a programmable build system and package manager designed to rescue developers from &quot;dependency hell&quot; and make builds simple, reproducible, cacheable, and distributable. Check out the code samples here: <a href="ht…