Sled is an embedded key-value store written in Rust that provides ACID transactions, crash safety, and high concurrency. It uses a lock-free architecture based on a lock-free pagecache, lock-free log, and lock-free B+ tree with epoch-based memory reclamation. The database supports multiple keyspaces, watch prefixes, merge operators, and a crash-safe monotonic ID generator. Currently in active development with a major rewrite underway (komora project), it is alpha software with known instability and frequent breaking changes, but demonstrates advanced concurrent data structure techniques.
This repository hosts a Chinese translation of the Software Foundations textbook series, providing an interactive web-based platform for learning formal methods and programming language theory using the Coq proof assistant. The architecture consists of volume-specific directories (LF, PLF, QC, SECF, SLF, VC, VFA) containing Coq source files, generated HTML, and shared interactive components. Key features include in-browser Coq proof checking via jsCoq, proof visibility toggling, bilingual term highlighting, and slide presentation mode. The system relies on external dependencies like jsCoq, jQuery, and jQuery UI for its interactive functionality.