Optimize PDFs with Ghostscript command

Agda is a dependently typed programming language / interactive theorem prover.

An introduction to programming language theory in Agda

The collected works of F. W. Lawvere

BiDi Mail UI: Thunderbird extension for improved right-to-left language support

Resource gathering + programming game

👔 A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!

The COW Programming Language

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

The Markdown Resume

Exercism exercises in Haskell.

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

Caldav sync for Emacs orgmode

Highlight or Hide Search Engine Results

Outliner for taking notes and managing to-do lists

Orgzly documentation

The RSS feed for websites missing it

Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.