[MIRROR] The path to GNUrvana

Emacs Plus formulae for the Homebrew package manager

This is a lecture notes theme which i have created for typing up all the class notes I have taken in my courses. So i am sharing my theme to everyone

Demonstration of running Autograder for WEB assignments.

Flexible, Consistent and Powerful Autograding Tool that grades and generates reports on your students submissions.

Tic Tac Toe, formalized in Agda

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

A template repository to start writing your Bachelor/Master/PhD Thesis in Typst (with your very own template)

Statically-checked Lisp for Nix

GUI for editing nix files

Lecture "Programmieren 2" (Summer 2026)

Student Support Code for 'LockSnake' Task

Student Support Code for 'Cat-Café' Task

Create a PDF out of your current buffer, exactly as you see it!

A functional, immutable, S-expression based configuration and scripting language, beating Lua (non-JIT) in benchmarks, with easy C integration.

PL Professors List

GNU Emacs / N Λ N O Theme

+>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros

Tavern is a tavern simulator written in C and uses ncurses.

Nvim Treesitter configurations and abstraction layer

A Java and JavaScript charting package

A Java UI toolkit

A Java workbench tool for data science and education

Dotfiles and config

An example of a fully custom Emacs configuration developed live on YouTube!

Emacs Markdown Mode

A presentation tool for org-mode based on the visibility of outline trees

Presentations in Emacs -- based on Org-mode