J Kenneth King's starred repositories
el-easydraw
Embedded drawing tool for Emacs
dimityjones
electronic escape novel requiring readers to solve puzzles before reading the next chapter
datatype99
Algebraic data types for C99
AdGuardHome
Network-wide ads & trackers blocking DNS server
postgresql-event-sourcing
A reference implementation of an event-sourced system that uses PostgreSQL as an event store built with Spring Boot. Fork the repository and use it as a template for your projects. Or clone the repository and run end-to-end tests to see how everything works together.
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Architecture-of-consoles
Technical articles about console architecture
quantification
Data types and type classes for universally and existentially quantified types
queueing-theory
Queueing theory: an introduction for software development
Win11Debloat
A simple, easy to use PowerShell script to remove pre-installed apps from windows, disable telemetry, remove Bing from windows search as well as perform various other changes to declutter and improve your windows experience. This script works for both windows 10 and windows 11.
awesome-elisp
🏵️ A curated list of Emacs Lisp development resources
Collaboration
Play/learn/work with me
really-safe-money
Uncompromisingly safe money library
stemroller
Isolate vocals, drums, bass, and other instrumental stems from any song
postgres-json-schema
JSON Schema validation for PostgreSQL
straight.el
🍀 Next-generation, purely functional package manager for the Emacs hacker.
bypass-paywalls-chrome
Bypass Paywalls web browser extension for Chrome and Firefox.