Pinned Repositories
alacritty-gnome-theme
GNOME themes for Alacritty
break-reminder
Systemd timer that reminds you to take a break every 15 minutes.
cv
My CV
dm42
A collection of programs for the SwissMicros DM42
ear-training
truth-tables
UoA-pianos
leifmetcalf's Repositories
leifmetcalf/alacritty-gnome-theme
GNOME themes for Alacritty
leifmetcalf/break-reminder
Systemd timer that reminds you to take a break every 15 minutes.
leifmetcalf/cv
My CV
leifmetcalf/dm42
A collection of programs for the SwissMicros DM42
leifmetcalf/ear-training
leifmetcalf/truth-tables
leifmetcalf/UoA-pianos
leifmetcalf/adventofcode2022
leifmetcalf/amfora
A fancy terminal browser for the Gemini protocol.
leifmetcalf/base
Standard library for OCaml
leifmetcalf/euphoria
Dynamic network FRP with events and continuous values
leifmetcalf/haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
leifmetcalf/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
leifmetcalf/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
leifmetcalf/maplike
A class for Map-like containers
leifmetcalf/maths-715-assignment-1
leifmetcalf/maths-715-assignment-2
leifmetcalf/maths-720-assignment-1
leifmetcalf/maths-720-assignment-2
leifmetcalf/maths-735-assignment-1
leifmetcalf/maths-735-assignment-2
leifmetcalf/munch
leifmetcalf/my-vimrc
leifmetcalf/nixpkgs
Nix Packages collection
leifmetcalf/nvim-lsp
Nvim LSP client configurations
leifmetcalf/parser-combinators
Lightweight package providing commonly useful parser combinators
leifmetcalf/phoenix
Peace of mind from prototype to production
leifmetcalf/sokoban
leifmetcalf/trading-competition-2020
Base repo for the trading competition 2020
leifmetcalf/transitive-groups
transitive-groups