- Berlin, Germany
Stars
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Trigger.dev – build and deploy fully‑managed AI agents and workflows
A scriptable scratchpad for developers. In slow yet steady progress.
💻 Ability to rename desktop spaces on macOS 10.10+
Keyboard-first dotfiles for terminal-centric development with tmux, Neovim, and coding agents.
Benchmark Set for Scalable Model Transformations.
Software specification and verification system based on graph rewriting
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++