Server to host lean games.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

コード例で学ぶ Lean 言語

Anki's shared backend and web components, and the Qt frontend

Lock-free SPSC FIFO ring buffer with direct access to inner data

Build production-ready backends in minutes

This crate provides macros to generate bitfield-like struct.

Fully open reproduction of DeepSeek-R1

an open-source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Apache OpenDAL: One Layer, All Storage.

📝 Compile-time HTML templates for Rust

Portable atomic types including support for 128-bit atomics, atomic float, etc.

background code checker

Silky smooth Java-Rust interop

offline music player with autoplay functionality

𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com

Dynamically-typed functions in Rust

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A flow-style query language for SQL engines

Crucible is a library for symbolic simulation of imperative programs

A command line tool to generate Unicode tables as source code.

in-place allocation-reusing queues for Rust

Auto implementation of trait functions by delegation to inner types

take_care_of_the_rest / あとは任せた proc-macro of Rust

Implied bounds, since 1.79!

The Elegant Parser

A Deep Learning framework with very few dependencies, Written in Rust

self adjusting computations in rust

Headless incremental computing