Popular repositories Loading

1. oh-my-humanize oh-my-humanize Public

   ⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents -- All for Long running Agentized Workflows

   TypeScript 52 10

2. humanize-plugin humanize-plugin Public

   Plugin version of oh-my-humanize, keep your favorite Coding Agent : )

   Rust 9 1

3. imo2026 imo2026 Public

   Lean 7

4. putnambench-solver putnambench-solver Public

   Reproduction code for verified PutnamBench solver experiments

   Shell 3

5. fp8-moe-dev fp8-moe-dev Public

   Cuda

6. humanfia.github.io humanfia.github.io Public

   HTML