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.
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 jbspeakr | 3 comments
GitHub repository for Zalando's Agentic Identity Broker, an MIT-licensed OAuth2 broker giving AI agents scoped, revocable delegated access to MCP services.
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.
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.
87 points by handfuloflight | 59 comments
GitHub repository for ZapFast, an MIT-licensed native desktop WhatsApp client written in Rust with the egui GUI library for Linux, macOS and Windows.
220 points by chanana | 59 comments
GitHub repository for Sill, a free open-source app that streams any Mac window to an iPhone or iPad with touch, Apple Pencil, trackpad and keyboard input, without servers.
681 points by lsferreira42 | 105 comments
GitHub repository for Gooey, a Python library that turns command line programs into full GUI applications with one line of code.
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.
418 points by nazgulsenpai | 163 comments
GitHub repository for Dillo, a lightweight multi-platform graphical web browser built with FLTK and licensed under GPL-3.0.
363 points by jethronethro | 94 comments
GitHub repository for GitUI, a fast terminal user interface for git written in Rust.
319 points by realsarm | 149 comments
GitHub repository for FastUI by Pydantic, a library for building web user interfaces declaratively in Python with React rendering.