Starred repositories
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…
A lightweight time-series database written in Rust. Embed it, run it as a server, or scale it as a cluster.
A modular implementation of timely dataflow in Rust
Verus-verified implementation of Ironfleet Sharded Hash Table key-value store
Storage systems with verified correctness properties
Internet search engine for text-oriented websites. Indexing the small, old and weird web.
Programming language for literate programming law specification
Unofficial Linear CLI, for humans and coding agents
NixOS and Home-Manager configs for my devices. dotfiles, but way better
A terminal workspace with batteries included
A dynamic library providing Virtualization-based process isolation capabilities
Predicated LL (recursive descent) parser in pure rust
A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward/backward chaining, pattern matching, unification, O(1) rule…
A community trust management system based on explicit vouches to participate.
A security-focused library OS supporting kernel- and user-mode execution
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Shahar "Dawn" Or's Nix-powered "IT infrastructure" repository
A Rust framework for building distributed, stateful entity systems with durable workflows
Find code blocking your Tokio workers. eBPF-powered, no instrumentation.
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…