Stars
A tool to detect whether a PDF has a bad redaction
Tools to make Supernote devices even more super
A simple, lightweight PowerShell script to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…
Ayanashi / Celestia
Forked from caelestia-dots/shellA very segsy desktop shell
Deduplicating archiver with encryption and paranoid-level tests. Swiss army knife for the serious backup and disaster recovery manager. Ransomware neutralizer. Win/Linux/Unix
General-purpose editor/IDE with high expansibility in Common Lisp
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
The Missing Semester of Your CS Education 📚
A Curated List of MIT OpenCourseWare Courses Focused on Low-Level Computer Science
A deep dive into the ACPI.sys DPC latency problems on Asus ROG laptops
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
Learn the basics of robotics through hands-on experience using ROS 2 and Gazebo simulation.
A minimal, complete, Pokémon battle simulation engine optimized for performance
Smallest possible syntactically valid files of different types
🎓 Path to a free self-taught education in Computer Science!
Prolog puzzles for fun and profit (mostly fun)
Tree Style Tab, Show tabs like a tree.
Ergonomic keyboards and mice, programming by voice, RSI, and standing desks.
⚡ A collection of resources and tutorials to design a better database schema.