agreselin

tamzen-font

💌 Bitmapped programming font, based on Tamsyn

expreg

Your friendly neighborhood expand-region clone

mathquill

Magic textboxes where you can type math as easily as writing!

zanichelli-downloader

A tool to download your books from zanichelli into PDFs

The-Collected-Papers-of-Albert-Einstein

"Few is the number of those who think with their own mind and feel with their own heart."― Albert Einstein

Tagsistant

Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service

TMSU

TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

hoard-of-bitfonts

turns out I like bitmap fonts

typst

A new markup-based typesetting system that is powerful and easy to learn.

CompCert

The CompCert formally-verified C compiler

sage

Main repository of SageMath

cours-analyse

English translation of Jordan's Cours d'Analyse

julia

The Julia Programming Language

Petalisp

Elegant High Performance Computing

AnimatedDrawings

Code to accompany "A Method for Animating Children's Drawings of the Human Figure"

monicelli

An esoteric programming language, come se fosse antani.

vundo

Visualize the undo tree.

mpv-scripts

userscripts for mpv

jinx

🪄 Enchanted Spell Checker

gnuplot

A major mode for Emacs for interacting with Gnuplot

why-linux-is-better

Objective reasons to prefer Linux to Windows.

ideas

AntennaPod

A podcast manager for Android

engine-sim

Combustion engine simulator that generates realistic audio.

shotcut

cross-platform (Qt), open-source (GPLv3) video editor

nwchem

NWChem: Open Source High-Performance Computational Chemistry

img2pdf

mirror of https://gitlab.mister-muffin.de/josch/img2pdf for Travis and appveyor CI

YouTubeDrive

Store files as YouTube videos == infinite disk space

wttr.in

:partly_sunny: The right way to check the weather

mpv

🎥 Command line video player