📊 Algorithms - Genbox · Scour

yeet-src/claudefeed: Live audit log of every command, file, and network connection a Claude Code (or any matched) session makes, from the kernel.

🪟Windows Internals Code

github.com··Hacker News

rfgplk/micron.cpp: a pure C++ implementation (& redesign) of libc and the standard library

⚡Low-level Programming Code

github.com··Hacker News

yogthos/jolt: A Clojure interpreter running on Janet

🏗️Compiler Design Code

github.com··Lobsters, Hacker News

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

✅Formal Verification Code

github.com··Hacker News

No more posts from Genbox's subscribed feeds.

Scour all 25258 feeds Learn more about Feeds

Log in to enable infinite scrolling