A refreshingly simple data-driven game engine built in Rust

Generate diagrams from textual description

Turso is an in-process SQL database, compatible with SQLite.

Run your GitHub Actions locally 🚀

a multi-language bindings generator for rust

Specula: A framework for finding deep bugs in system code using TLA+

A template rendering engine based on Jinja, generating type-safe Rust code at compile time.

Rust geospatial primitives & algorithms

MuduDB database management system

本仓库维护DBHammer实验室的讨论班记录

Virtual Microservice-Oriented Database System

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 Lean companion to Analysis I

Elegant LaTeX Template for Books

An experimental modular OS written in Rust.

超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 ⚡

A list about Unikernels

Unikernel and immutable infrastructures

State of the art for unikernels

A performant high level server for hyper

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

A generative speech model for daily dialogue.

Apache DataFusion SQL Query Engine

The Art of Latency Hiding in Modern Database Engines (VLDB 2024)

TLA+ model checking guided testing for distributed systems

The official repository for the gem5 computer-system architecture simulator.