-
China
- Shanghai
-
01:11
(UTC +08:00) - https://ybbh.github.io/
- https://www.zhihu.com/people/scuptio
Lists (1)
Sort Name ascending (A-Z)
Stars
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.
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.
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 next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
A generative speech model for daily dialogue.
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.