Stars
Optimize PDFs with Ghostscript command
Agda is a dependently typed programming language / interactive theorem prover.
An introduction to programming language theory in Agda
BiDi Mail UI: Thunderbird extension for improved right-to-left language support
👔 A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
A complete computer science study plan to become a software engineer.
List of awesome CSS frameworks in 2025
A gently curated list of companies using Haskell in industry
GNU/Linux app to discover and play internet radio stations
🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024
📅 Easy!Appointments - Self Hosted Appointment Scheduler
A list of Free Software network services and web applications which can be hosted on your own servers
An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
🦊 I respect proton UI and aim to improve it.
An opinionated list of resources for learning Haskell
Rudimentary Roam replica with Org-mode
turtles, patches, and links for kids, teachers, and scientists
Promoting Solutions that Improve Wellbeing, Freedom and Society
Outliner for taking notes and managing to-do lists
Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.