High-level tracing language for Linux

Microkernel and userspace written in Rust exploring modern ideas

Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers

The InterPlanetary File System (IPFS), implemented in Rust.

A microkernel-based hackable operating system.

Command-line client for WebSockets, like netcat (or curl) for ws:https:// with advanced socat-like functions

Neqo, the Mozilla Firefox implementation of QUIC in Rust

Papers from the computer science community to read and discuss.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

Secure and fast microVMs for serverless computing.

Linux kernel source tree

CoreDNS is a DNS server that chains plugins

Distributed reliable key-value store for the most critical data of a distributed system

Mirror of https://gitlab.redox-os.org/redox-os/redox

A blockchain implementation in 200 lines of code

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Node.js JavaScript runtime ✨🐢🚀✨