A portable embedded database using Arrow.

Refinement Types for Rust

A lightweight Datalog engine in Rust

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

Automatic update of custom plugins and themes Oh My Zsh

An interpreter for Rust's mid-level intermediate representation

Count your code, quickly.

Fast floating point to string conversion

A thrift and protobuf implementation in pure rust with high performance and extensibility.

Website for CloudWeGo

Async middleware abstraction powered by AFIT and RPITIT.

Rust RPC framework with high-performance and strong-extensibility for building micro-services.

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A Python Interpreter written in Rust

Lean 4 programming language and theorem prover

The Z3 Theorem Prover

Kani Rust Verifier

HTTP 2.0 client & server implementation for Rust.

An HTTP library for Rust

Rust implementation of Google protocol buffers

Your favorite language gets closer to bare metal.

RFCs for changes to Rust

Rust crate for a convenient RAII scope guard.

Mirror of the Z shell source code repository.

Go HTTP framework with high-performance and strong-extensibility for building micro-services.

Empowering everyone to build reliable and efficient software.

OpenWrt for Nanopi R2C/R2S/R4S/X86

An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our GitLab page.

Fish shell like syntax highlighting for Zsh.