.dotfiles

My NixOS system flake and dotfiles.

.emacs.d

.emacs.d-1

My personal Emacs config with any quirks, oddities, bugs, and man-eating errors I live with on a daily basis.

7guis-elm

all-the-icons.el

A utility package to collect various Icon Fonts and propertize them within Emacs.

basic-system

bemenufocus

Small program to make bemenu appear on the correct monitor on Sway.

cartmell-thesis

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”

closure-compiler-acocr

cmake-practice

A place for me to practice CMake and Nix together

compdb

A flake providing compdb, the compilation database swiss army knife.

coq-projects

cpp-countdown-solver

eglot

A client for Language Server Protocol servers

elm-colourmaps

Colourmaps in elm

elm-dsp

Discrete signal processing in elm

elm-mandelbrot

The Mandelbrot set, rendered using Elm and HTML Canvas

elm-spa

A nix flake wrapper around elm-spa

elm-watch

A nix flake wrapper around elm-watch

elmsnapshot

Take a snapshot of an elm packages JSON

emacs-lsp-booster-flake

A flake for emacs-lsp-booster

emacs-overlay

A flake wrapper around nix community's emacs-overlay, making it easier to pull from cachix.

emacs-psci

Major mode for psci (purescript's repl)

flake-templates

My Nix Flake Templates.

flakes

A flake containing all my public flakes.

fonts

A flake giving access to fonts that I use, outside of nixpkgs.

gemini-exporter

My org to gemini exporter.

ghactions

haskell-compiler

jeslie0