Stars
Rust-for-Linux / rust
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Simple interoperability between C++ coroutines and asynchronous Rust
📚 Learn to write an embedded OS in Rust 🦀
Papers from the computer science community to read and discuss.
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
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!
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#)
Stetho is a debug bridge for Android applications, enabling the powerful Chrome Developer Tools and much more.
Production-Grade Container Scheduling and Management