Pinned Loading

1. minfer minfer Public

   A minimal single-device LLM inference engine exploring KV caching, prefill/decode execution, and continuous decode batching.

   Python

2. grokking-modular-arithmetic grokking-modular-arithmetic Public

   Exploring grokking and delayed generalization in modular arithmetic.

   Python

3. MiniCoder MiniCoder Public

   Terminal-native autonomous coding agent with Docker isolation and independent verification.

   TypeScript

4. RaftKV RaftKV Public

   A Redis-compatible strongly consistent key-value store in Go with an original Raft implementation, durable recovery, snapshots, and chaos testing.

   Go