Stars
Skip YouTube video sponsors (browser extension)
A script to quickly get all public AO3 bookmark URLs from your account
Provides extreme flexibility with the help of Rule system to power-users* in downloading, tracking-status & reading novels from ANY site they want.
Automated Fanfiction Download using FanficFare CLI
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
A minimal GPU design in Verilog to learn how GPUs work from the ground up
OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
ALL THE THINGS - Addon for Tracking Collections & Account Completion in World of Warcraft
ForgeFed - Federation Protocol for Forge Services
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
A slow-paced introduction to reflection in Agda. ---Tactics!
🌈 React for interactive command-line apps
An archiving tool with an IM-style interface that prioritizes privacy and accessibility, integrated with various archival services including Internet Archive, archive.today, Ghostarchive, IPFS, Tel…
Install and run Emacs with the Windows Subsystem for Linux (WSL 2) in Windows 10 or 11.
solution to the exercises from https://plfa.github.io/
Solutions for PLFA (Programming Language Foundations in Agda) exercise
The mighty, self-hostable Git server for the command line🍦
A new markup-based typesetting system that is powerful and easy to learn.
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
applying uml and patterns by craig larman...3rd edition