Empowering everyone to build reliable and efficient software.

Simple interoperability between C++ coroutines and asynchronous Rust

A container runtime written in Rust

📚 Learn to write an embedded OS in Rust 🦀

Writing an OS in Rust

Safe interop between Rust and C++

Awesome Books

Papers from the computer science community to read and discuss.

notes on ML/CS/etc articles

This is an experimental library that has evolved to P2688

Postmodern immutable and persistent data structures for C++ — value semantics at scale

A minimal, resource efficient unikernel for cloud services

OCI Image Format

OCI Runtime Specification

Make any web page a desktop application

Run compilers interactively from your web browser and interact with the assembly

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

C++React: A reactive programming library for C++11.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

The core OCaml system: compilers, runtime system, base libraries

NuclearMail is an experiment of writing a webmail client using React and the Flux architecture. It runs completely in the browser and uses the GMail REST API.

💌 An extensible desktop mail app built on the modern web. Forks welcome!

Playing around with word2vec

Wangle is a framework providing a set of common client/server abstractions for building services in a consistent, modular, and composable way.

An OCaml library for HTTP clients and servers using Lwt or Async

C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

The hackable text editor

Stetho is a debug bridge for Android applications, enabling the powerful Chrome Developer Tools and much more.

Production-Grade Container Scheduling and Management