Lists (25)
🤖 AI
Anime
Bazel
Components
Desktop Apps
Elixir
🎛 Embedded
Fedi
Fitbit
👀 Keeping an eye on
Logseq
Looks Awesome
Meta-frameworks
Mobile App Polyfills
🎶 Music
🚀 My stack
Offline-first
⚛️ Preact
reMarkable
Shopify
Smart Home
🔨 Tooling
Tooling Analysis
Tools
🧰 UI Toolkits
Stars
A TLA+ interpreter and model checker in TypeScript
Incremental rust builds up to 92x faster than cargo/rustc
Compile-time JSX optimizations for Preact: static hoisting, signal holes, hooks to signals (Babel + Rolldown/Vite)
An experimental Rust port of the TypeScript 7 compiler (tsc)
A JavaScript runtime executing inside hyperlight
Harness engineering beginner tutorial, from 0 to 1
Run thousands of AI agent sandboxes on the cheapest machines.
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Native MLX runtime for Laya typed decision models — 7–14 ms short decisions on M3 Max. No text generation, PyTorch, or cloud API.
A dynamic library providing Virtualization-based process isolation capabilities
muvm - run programs from your system in a microVM
macOS 26 (Liquid Glass) como skill drop-in para Claude Code, Cursor y Gemini CLI.
Copy-paste Liquid Glass shader with SVG
Review the artifact before you publish it: diffs the built npm/PyPI package against the last published version and pins risk signals to the changed lines
Swiftlet is a Swift and Metal runtime that runs large Qwen Mixture-of-Experts models locally on Apple devices by streaming expert weights from storage, enabling 35B and 80B models to run with low R…
Ultra-minimalist macOS recording + transcription.
Gemma 4 26B-A4B inference in ~2 GB of RAM on any M-series MacBook
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
An Agent Skill for designing cross-platform desktop apps that feel native — distilled from Raycast's 2.0 deep-dive and reverse engineering of Raycast Beta.app. Eight architectural tenets, four-laye…
An Elixir API for calling Node.js functions
Silkscreen: open-hardware ESP32-S3 e-paper reader mainboard (KiCad 9). Formerly the de-link hub.