Lists (2)
Stars
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
An Anki add-on that supports Postpone & Advance & Load Balance & Easy Days & Disperse Siblings & Flatten
A motivational interviewing skill for AI agents. Helps work through ambivalence, stuckness, and decisions.
Assorted user patches for KOReader. Some require Project: Title, some don't.
A collection of KOReader user patches that all work well together
A calibre plugin to synchronize metadata from KOReader to calibre
self hostable synchronization service for koreader devices
This KOReader plugin lets you control Home Assistant entities without leaving your current book!
Always up-to-date Nix package for Claude Code with hourly updates from Anthropic's native releases
CLI launcher for Claude Code with behaviorally-tuned system prompts — control agency, quality, and scope instead of fighting the defaults
An agentic skills framework & software development methodology that works.
Hundreds of models & providers. One command to find what runs on your hardware.
Container runtimes on macOS (and Linux) with minimal setup
Demo for high-performance type theory elaboration
Nightshift uses your leftover Claude / Codex budget to surprise you with useful PRs. Love them or leave them.
Special mathematical functions in Julia
🍃 Cross-platform CalDAV-compatible task management app.
Homebrew installation manager for nix-darwin
🕛 Zero-overhead Fennel JIT compiler at runtime of Neovim with safety rollbacks
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A Paredit implementation for Neovim, built using Treesitter and written in Lua.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.
Library implementing type inference/checking functionality based on the Lean theorem prover