-
07:58
(UTC +02:00) - @nilskch
Stars
Vouch-compatible PR-spam reduction Github Action workflow + CLI tool
CLI for LLM agents to control smart home devices — IKEA TRÅDFRI, Sonos, Spotify
Lightweight ASCII DAG (Directed Acyclic Graph) renderer for error chains, build systems, and dependency visualization.
Coffee optimization powered by Bayesian learning. Track beans, brew, taste, optimize — for espresso, filter, and beyond.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
Retro-inspired operating system designed to be learnable and hackable by its users
An extremely fast Python package and project manager, written in Rust.
A command-line tool to view documentation for Zig standard library symbols
A protocol for connecting any editor to any agent
A course of building an LSM-Tree storage engine (database) in a week.
A Rust and TypeScript library for merging conflicting text edits without manual intervention.
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
Implementation of craftinginterpreters.com in Rust
The user-friendly command line shell.
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Language Server Protocol implementation for Rust based on Tower
A language server for Zig supporting developers with features like autocomplete and goto definition