TScert: A Sound Core for TypeScript(github.com)
16 points by bpierre | 3 comments
GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.
First screen, captured . Open the video.

Captured . Click for the whole screenshot.
16 points by bpierre | 3 comments
GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.
56 points by marcusbasant | 28 comments
GitHub repository for MoofTCP, an MIT-licensed, memory-lean drop-in replacement for MacTCP on 68000 Macs running System 6, written mostly in C.
24 points by 0x63_Problems | 4 comments
GitHub repository for Gauge CLI, an open-source tool that runs coding agents against tasks and iteratively tests doc variants to improve how agents use a product.
14 points by WaywardGeek | 8 comments
GitHub repository for Ensemble, an open-source book that builds an AI coding agent, which in turn helps write the next edition; README explains development-driven specs.
3 points by DaleFranks | 0 comments
GitHub repository for RamaSite, a self-contained MIT-licensed CMS built with Laravel, Filament and SQLite, largely written with Claude Code.
3 points by garritfra | 0 comments
GitHub repository for llmtee, a self-hosted single-binary Go proxy that logs LLM API calls with tokens, cost, latency and time to first token to SQLite or Postgres.
117 points by Qision | 26 comments
GitHub repository for ExcalidrawZ, an open-source native SwiftUI Excalidraw client for macOS, iPadOS, and iOS with file management and iCloud sync.
108 points by arbayi | 37 comments
GitHub repository of example Gea applications and tools, including an app gallery for the simulator, embedded targets, GeaOS and Apple targets.
363 points by jethronethro | 94 comments
GitHub repository for GitUI, a fast terminal user interface for git written in Rust.
411 points by overbytecode | 128 comments
GitHub repository for Quickemu, a tool that quickly creates and runs optimised Windows, macOS and Linux desktop virtual machines using QEMU.
132 points by knuckleheads | 32 comments
GitHub repository for Headstart, patches to rustc and cargo that start dependent crates before their dependencies finish type-checking by emitting metadata early.
85 points by mooreds | 46 comments
Max Woolf blog post on using AI coding agents to iteratively optimize Rust code until it outperforms state-of-the-art libraries.