> Quint is a modern specification language that is a particularly good fit for… more
~source×
68 links
> tine composes operating-system images out of packages and pinned third-party… more
> [jgrep] filters lines by meaning with TypeSafe's Jev decision model: ~200 ms… more
> Zena's goal is to be a great TypeScript-like language for WebAssembly, for… more
> Demucs is a state-of-the-art music source separation model, currently capable… more
> Over the past few months I have been playing around quite a bit with LLM… more
> StemDeck is a stem separation tool, not a downloader. Its main job is… more
> The STATION is an open-world, multi-agent environment that models a miniature… more
> The idea of htmx 4 started to germinate when I decided to create fixi and, in… more
> Yadda brings true BDD to JavaScript test frameworks such as node:test, Mocha… more
> [MicroLighter is a] tiny, dependency-free syntax highlighter for the web. more
> Cross-Origin Storage (COS), a content-addressable browser cache that shares… more
> The [] component takes one attribute, file-id, which points to the ID value… more
> pgrust is a re-implementation of Postgres meant to show what Postgres would… more
> celld is an open-source daemon that runs Cloudflare Workers and Durable… more
> workerd (pronounced: "worker-dee") is a JavaScript / Wasm server runtime… more
From the README: more
> [Perspect is a] [s]criptable desktop app to correct the perspective of images.
From the README: more
> Turso is an in-process SQL database written in Rust, compatible with SQLite.… more
> scriptc compiles ordinary TypeScript into small, fast native executables — no… more
> pdf-lib was created to address the JavaScript ecosystem's lack of robust… more
> Introducing honeyprompt, an LLM-first deception framework made by/for web… more
> So [Solod] supports structs, methods, interfaces, slices, maps, multiple… more
> [Salt has] [z]ero-cost contracts. requires and ensures clauses are checked at… more
> LiteRT.js runs arbitrary LiteRT (.tfite) models that can perform a variety of… more
> Flint is a visualization intermediate language that lets AI agents reliably… more
> Wordgard provides a set of tools for building content editors. It is not a… more
> Lore is an open source version control system designed for unprecedented… more
> I am a huge fan of gistpreview.github.io, the site by Leon Huang that lets… more
SandVault (sv) manages a limited user account to sandbox shell commands and AI… more
> seal is a small CLI that replaces ad‑hoc .env files with secrets stored in… more
> This repository demonstrates how to use OrbStack on macOS to provision an… more
> NeuralNote is the audio plugin that brings state-of-the-art Audio to MIDI… more
> Impro is a Bluesky web client written in HTML, CSS, and JavaScript. more
MCP CadQuery Server executes CadQuery Python code and returns downloadable 3D… more
> ds4.c is a small native inference engine for DeepSeek V4 Flash. It is… more
> DSPi transforms a Raspberry Pi Pico or other RP2040-based board into a very… more
[Smolvm] is a CLI tool that lets you: more
[Lisette is:] more
> [EmDash is a] full-stack TypeScript CMS built on Astro and Cloudflare. EmDash… more
> Reninja is a complete reimplementation of the Ninja build system focused on… more
> Pretext side-steps the need for DOM measurements (e.g. getBoundingClientRect,… more
> A from-scratch PyTorch implementation of TurboQuant (ICLR 2026), Google's… more
> Bombadil is property-based testing for web UIs, autonomously exploring and… more
> Sashiko is an agentic Linux kernel code review system. It uses a set Linux… more
> This is a brief guide to my new art project microgpt, a single file of 200… more
> Think of Rev-dep as a high-speed linter for your dependency graph. more