Hybrid search engine combining vector similarity (HNSW) with BM25 keyword matching, fused via Reciprocal Rank Fusion. Compiles to WASM and runs JinaBERT embeddings client-side using Candle. Zero server dependencies.
AArch64 kernel running on Raspberry Pi 4 (BCM2711/Cortex-A72). Implements exception handling at EL2, PL011 UART driver, and an interactive shell. No OS, no std - just registers and memory.
Raft consensus protocol built on Tonic gRPC. Implements leader election, log replication, and membership changes. Designed as a reusable building block for distributed systems requiring strong consistency.
Rate limiter using a PID controller for dynamic limit adjustment based on traffic patterns. Sliding window TPS calculation with configurable Kp/Ki/Kd tuning. Includes Sentinel, a gRPC sidecar service.
Disk-persistent key-value store using Log-Structured Merge Trees. MemTable (B-Tree) buffers writes before flushing to SSTables. Implements compaction with last-write-wins conflict resolution. Protocol Buffers for on-disk encoding.
Space-efficient probabilistic set membership using XXHash. Configurable false positive rates with automatic optimal sizing. Serialization support for persistence and network transfer.
RFC 1035 compliant DNS resolver implementing query parsing, response construction, and answer caching. Low-level socket programming with custom packet serialization. Built to understand DNS internals.
Emulator for the CHIP-8 interpreted language. SDL2 graphics rendering, opcode decoding, and memory-mapped I/O. Classic first step into emulation development.
Cycle-accurate emulation of the MOS 6502 processor. Implements the full instruction set with proper addressing modes. Foundation for retro computing projects (NES, Apple II, C64).
CAS with expression parsing, algebraic simplification, and symbolic manipulation. Renders mathematical output via Typst. Supports term rewriting, expression flattening, and like-term combination.