The world’s fastest framework for building websites.

A new markup-based typesetting system that is powerful and easy to learn.

GNU toolchain for RISC-V, including GCC

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Xv6 for RISC-V

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

Main development repository for TinyOS (an OS for embedded, wireless devices).

An OS kernel written in rust. Non POSIX

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

An experimental pure-Rust x86 bootloader

awesome university cs core courses

Writing an OS in Rust

Distributed SQL database in Rust, written as an educational project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

A program which ensures source code files have copyright license headers by scanning directory patterns recursively

《算法》(Sedgewick著, 第4版) 的Golang实现

Data structure and algorithm library for go, designed to provide functions similar to C++ STL

egg is a flexible, high-performance e-graph library

Extensible SQL Lexer and Parser for Rust

PostgreSQL wire protocol implemented as a rust library.

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

A modern replacement for Redis and Memcached

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

RedisShake is a Redis data processing and migration tool.

Fast, SIMD-accelerated CRC32 (IEEE) checksum computation in Rust

The gflags package contains a C++ library that implements commandline flags processing. It includes built-in support for standard types such as string and the ability to define flags in the source …

A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS

A TOML toolkit written in Rust

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.