Pinned Repositories
image-segmentation-scip
Image segmentation using SCIP
beancount
Beancount: Double-Entry Accounting from Text Files.
bitwarden-clients
Bitwarden client apps (web, browser extension, desktop, and cli).
dmensamenu
Print German canteen menus using dmenu and OpenMensa
dotfiles
Arch, Sway (Wayland :+1:), urxvt, fish, Neovim, ranger, etc.
lanzaboote
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
metro-hd
Jump and run game inspired by Metroid for a Gameboy-like console featuring Atmega microcontrollers
nixpkgs
Nix Packages collection
nixpkgs-hammering
Beat your package expressions into a shape
nixpkgs
Nix Packages collection & NixOS
dotlambda's Repositories
dotlambda/dotfiles
Arch, Sway (Wayland :+1:), urxvt, fish, Neovim, ranger, etc.
dotlambda/automatic-structure
Decide Presburger arithmetic and other automatic structures
dotlambda/cdm
Console Display Manager
dotlambda/dominion
A Dominion simulator in Haskell
dotlambda/https-everywhere
The official Github mirror of the HTTPS Everywhere repository at https://gitweb.torproject.org/https-everywhere.git. You can send pull requests here.
dotlambda/logik-ws1617
dotlambda/math-exercises
University-level math exercises for tutors to present to their students
dotlambda/muesli
Mathematisches Übungsgruppen- und Scheinlisten-Interface
dotlambda/PalMA
PalMA Team Monitor
dotlambda/public-transport-enabler
Unleash public transport data in your Java project.
dotlambda/regular-language
Regular languages, i.e. FSA, and their closure properties
dotlambda/Transportr
A public transport app for Android that is fully Free Software