Projects in Awesome Lists by dotlambda
A curated list of projects in awesome lists by dotlambda .
https://github.com/dotlambda/dmensamenu
Print German canteen menus using dmenu and OpenMensa
Last synced: 30 Aug 2025
https://github.com/dotlambda/metro-hd
Jump and run game inspired by Metroid for a Gameboy-like console featuring Atmega microcontrollers
Last synced: 18 May 2026
https://github.com/dotlambda/automatic-structure
Decide Presburger arithmetic and other automatic structures
Last synced: 04 Jan 2026
https://github.com/dotlambda/regular-language
Regular languages, i.e. FSA, and their closure properties
Last synced: 16 Feb 2026
https://github.com/dotlambda/beamerthemeuva
LaTeX Beamer theme for the University of Amsterdam
Last synced: 31 Jan 2026
https://github.com/dotlambda/math-exercises
University-level math exercises for tutors to present to their students
Last synced: 03 Jan 2026