Pinned Repositories
99-ocaml-problems
bspwm
My bspwm and sxhkd configs
edzdez.github.io
Website
img2ascii
A simple CLI tool to convert images to ascii text
nvim
My nvim config
power-profiles-applet
A simple, gtk-based systray applet to help manage your power profiles.
simplex-cpp
An implementation of the simplex method in C++
sway
My sway config
sway-easyfocus
A tool to help efficiently focus windows in Sway inspired by i3-easyfocus.
theorem-proving-in-lean4-solutions
My solutions to the exercises for "Theorem Proving in Lean 4"
edzdez's Repositories
edzdez/sway-easyfocus
A tool to help efficiently focus windows in Sway inspired by i3-easyfocus.
edzdez/power-profiles-applet
A simple, gtk-based systray applet to help manage your power profiles.
edzdez/bspwm
My bspwm and sxhkd configs
edzdez/theorem-proving-in-lean4-solutions
My solutions to the exercises for "Theorem Proving in Lean 4"
edzdez/99-ocaml-problems
edzdez/aoc-2022
Advent of Code 2022
edzdez/edzdez.github.io
Website
edzdez/nifty-covid-sim
A nifty virus simulator.
edzdez/nifty-ray-marcher
A nifty raymarcher
edzdez/nifty-seam-carving
A cli app for content aware seam carving
edzdez/nvim
My nvim config
edzdez/simplex-cpp
An implementation of the simplex method in C++
edzdez/sway
My sway config
edzdez/aoc-2023-kt
AoC 2023 in Kotlin!
edzdez/aoc-2024
AoC 2024 (now in Haskell!)
edzdez/epub-renamer
A cli app that renames epub files
edzdez/nifty-dna
A nifty DNA sequence matching tool
edzdez/ocaml-link-shortener
An attempt at writing a link shortener in OCaml with HTMX
edzdez/palace
An attempt at creating the palace card game.
edzdez/plfa
An introduction to programming language theory in Agda
edzdez/raytracing-zig
A simple raytracer written in Zig.
edzdez/rsclock-gtk
A simple gtk clock written in Rust
edzdez/scheme-ish
An interpreter for a language that bears some resemblance to Scheme
edzdez/ship-dock
ship-dock
edzdez/spelling-bee-qt
A simple, Qt client for freebee.fun (nyt spelling bee clone)
edzdez/suckless
My suckless bulds
edzdez/todos-dream-htmx
A simple todo list app written in Dream with an HTMX frontend
edzdez/turing-machine
A simulation of a Turing Machine written in Go
edzdez/websocket-chat-test
Trying out websockets with a Go server and Qt client
edzdez/xmonad
My XMonad + Polybar config