Lists (1)
Starred repositories
Repositório de Recursos do Curso de System Design
An open source browser for Mac, iPhone, and iPad.
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
A small GHCi in Ruby: a Haskell REPL with GHCi's semantics. One binary or one Ruby file; prompt in 3 ms.
ASD-STE100 Simplified Technical English rules, repurposed as a Claude Code skill for rewriting ambiguous agent-facing English.
An executable semantics of Ruby in Lean, with a growing type system and soundness proof
A Python + iCloud wrapper to access iPhone and Calendar data.
Cursor's Tab Tab in Neovim — the only maintained plugin on Cursor's real backend. Next-edit predictions, cursor jumps & ghost text. A Copilot / Supermaven / Codeium alternative.
Orca lets you run a fleet of coding agents (e.g. Claude Code, Codex) with your own subscription. Available on desktop, mobile and remote runtime.
A collection of Claude Code skills for product development workflows by unlearn.dev
Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.
All our work to make Goodix fingerprint sensors work on Linux. Thanks to @markusressel and @PJungkamp for sponsoring.
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
A simple tool for coordinating several AI agents.
Minimal TensorRT bindings for Ruby using Rice (C++ bindings).
Ultra quick message queue and streaming server
Manage your dotfiles across multiple diverse machines, securely.
Powerful single binary, zero-dependency job queue server
Bare metal provisioning engine, supporting network and ISO booting, BMC interactions, metadata service, and workflow engine.