Forkcast Hacker News #12: wyzer, OberonSystem, fec, algebruh, mcpp, git-knife, mcptoon

Episode Summary#

Episode 12 covers 30 open-source projects trending on Hacker News, including a compiled resource-oriented programming language in OCaml, a RISC-V port of Project Oberon that boots in 64KB of RAM, a self-contained Rust agent harness with 1,245 stars, a token-efficient MCP client cutting 97% of discovery tokens, and a six-dollar Raspberry Pi Pico running Pokemon Emerald natively at 60fps over HDMI.

Repositories Covered#

wyzer#

The Wyzer Programming Language. 216 GitHub stars. Written in OCaml. Wyzer is a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and a p

OberonSystem#

Modified version of the original from http://www.projectoberon.com/ for use with the Oberon IDE. 90 GitHub stars. Written in C++. This project is a spin-off from https://github.com/rochus-keller/Oberon. It makes use of my Oberon to LuaJIT bytecode compiler. I’m interested in re-u

fec#

Rust crate for Forward Error Correction. 45 GitHub stars. Written in Rust. Forward error correction for SDR, space, and satellite applications.

algebruh#

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean. 8 GitHub stars. Written in Rust. Algebruh classifies arithmetic equality and disequality claims. It reports proofs, models, countermodels, and disagreements between independent checke

mcpp#

A modern C++ module-first build tool — written in pure C++23 modules, fully self-hosted / 一个 现代C++ 模块化构建工具 — 纯 C++23 模块编写(已实现自举) . 99 GitHub stars. Written in C++

git-knife#

Show HN: Git-knife – Edit commit messages, authors, and dates like a spreadsheet. 199 GitHub stars. Written in TypeScript. *Stab your git history into shape — every commit’s message, author, and dates,

mcptoon#

Token-efficient MCP CLI client. 97% less tokens on tool discovery, 40-60% on results. Zero deps. Cross-platform. Works with every AI agent.. 119 GitHub stars. Written in Python. --stdin — Pipe large payloads bypassing OS command-line limits. doctor — One-command self-diagnosis (Python, config, servers, connectivity). **`discove

tamron-lens-control#

Linux-only CLI for viewing and changing settings on compatible Tamron lenses.. 16 GitHub stars. Written in Rust. tlc is a Linux-only command-line utility for viewing and changing settings on compatible Tamron lenses. It aims to reproduce what the official Tamro

starboard#

A terminal that’s always beside your Dock — not a Quake-style hotkey overlay, a permanent fixture. 162 GitHub stars. Written in Swift. Sits directly beside the Dock, tracking its height and position live.. Visible on every Space, including over full-screen apps — never steals. A real, persistent sh

termdom#

Build terminal apps with HTML, CSS and the DOM.. 45 GitHub stars. Written in TypeScript. Stylesheets CSS from <style> elements and style attributes cascades. Layout The CSS box model, flexbox, and table layout are all supported.. **Scrol

vd#

TUI Password Manager and 2FA/OTP Authenticator. 24 GitHub stars. Written in Go

ante#

Ghost in your shell. Ante is a self-contained agent harness with a highly optimized core. It works like Claude Code or Codex, with none of their dependencies or model constraints. . 1245 GitHub stars. Written in Rust. Built from scratch in Rust. Core components like Grep (fully rebuilt and customized) and git are embedded in the same ~15MB binary and run in the . Local infere

channels-sdk#

The open-source SDK for bringing any agent into any chat platform: Slack, Microsoft Teams, Discord, Telegram - with native, Interactive UI.. 832 GitHub stars.

wallfacer#

A terminal session manager for Claude Code, and more. 106 GitHub stars. Written in Go. One view of everything — every session, from every directory and every agent, sorted by recency. Organize — rename sessions, tag them, group them into projects

hud-mode#

A compact heads-up display for your coding agent. Instruments while it works, the answer when it stops. Claude Code, Codex, OpenCode.. 28 GitHub stars. Written in JavaScript. A compact heads-up display for your coding agent. Instruments while it

protolink#

Build autonomous Python agents with native Agent-to-Agent (A2A) communication. 89 GitHub stars. Written in Python. Pluggable by design - compose an agent from independent modules instead of adopting a mandatory stack.. A small, stable API - string aliases cover the commo

ai-pulse#

Ambient macOS light strip for AI coding agents — a Dock-adjacent pill of eight LEDs showing whether anything is working, waiting, finished, or broken. 28 GitHub stars. Written in Swift.

tura#

Build agent that uses 80% less token and delivers better results.. 567 GitHub stars. Written in Rust.

remembrane#

Local-first memory for AI agents: one SQLite file, zero deps. Recency-aware exact recall, conflict detection, time-travel journal, MCP server.. 11 GitHub stars. Written in Python. One file. Your agent’s entire memory is a SQLite database you can copy, back up, diff, or delete.. Zero required dependencies. The default embedder is pure

49Agents#

Open-source 2D IDE for managing AI agents in native CLIs, terminal, gits, beads issues, and files across multiple projects and machines. Self-host on a single machine via localhost OR host on a cluste. 378 GitHub stars. Written in JavaScript. [x] Tab chords for pane switching. [x] WASD move mode for spatial navigation. [x] Shortcut numbers (1–9) for instant pane focus

Opencodex#

A free, open-source coding agent inside VS Code.. 32 GitHub stars. Written in TypeScript

pokeemerald-rp2350#

Pokémon Emerald ported to the RP2350. No emulator, 60 fps HDMI output. Recompiled for Cortex-M33.. 44 GitHub stars. Written in C. Pokémon Emerald running natively on a $6 microcontroller — full game, 60 fps,

hand-wave#

Turning sign language (fingerspelling) into speech w/ smart glasses and a neural net. 18 GitHub stars. Written in Swift. Sign recognition for web and iOS, backed by a small Python inference service.

Alchemical-Cosmological-Badges#

These are alchemical-cosmological PCB hackathon badges I designed in a day for the Fallout hackathon in Shenzhen, China.. 12 GitHub stars. Written in C. These are alchemical-cosmological PCB hackathon badges I designed in a day for the Fallout hackathon in Shenzhen, China. It’s 3 PCB’s stacked on-top o

morningprint#

One original print, every morning. A receipt printer wakes before you do and prints a one-of-a-kind piece of character art themed to the date, the weather, and the mood of the news.. 15 GitHub stars. Written in TypeScript. One original print, every morning.

stratopi#

🎈 👽 🛸 Weather balloon to the stratosphere with a Raspberry Pi. 13 GitHub stars. Written in Python

certo#

An open source project for courses, workshops and conferences organizers to create certifications using Open Badges 3.0. 49 GitHub stars. Written in TypeScript. GET /api/credentials/:id - Retrieve public credential data (Open Badges 3.0 format). POST /api/credentials/verify - Verify credential authenticity. `GET /ap

QuillCode#

Native macOS coding agent and AI coworker with local tools, Computer Use, worktrees, automations, plugins, and verified auto-updates.. 13 GitHub stars. Written in Swift. Build Swift projects with a coding agent whose application and agent runtime are themselves Swift.. Work across multiple projects and chats with project instructions

kindle-for-whoop#

Turn a spare Kindle into a low-power WHOOP dashboard.. 11 GitHub stars. Written in JavaScript

ember#

Redshift-aware terminal, categorical, and sequential color palettes. 6 GitHub stars. Written in Python

Watch#

• Video: https://www.youtube.com/watch?v=577W9RBUT4o
• Cover: https://i.ytimg.com/vi/577W9RBUT4o/hqdefault.jpg

Notes#

Transcript and notes will be added from Forkcast output artifacts.