Pinned Repositories
blur
A chunkwm plugin that blurs your wallpaper when you have open windows.
chunkwm-rs
A Rust 'bridge' for creating chunkwm plugins.
chunkwm-rs-template
A template for using chunkwm-rs.
combinatory-logic
Explorations in combinatory logic with Agda
configuration
My home and system configuration
game-of-life
A Game of Life emulation with support for Life 1.06, Life 1.05, RLE, and plaintext files.
nerdbar.widget
Übersicht bar with support for chunkwm.
Sheaves-in-Topology-lecture-notes
splintersuidman.github.io
Personal website
zermelo-rs
A Rust crate that retrieves a schedule from Zermelo.
splintersuidman's Repositories
splintersuidman/blur
A chunkwm plugin that blurs your wallpaper when you have open windows.
splintersuidman/configuration
My home and system configuration
splintersuidman/chunkwm-rs
A Rust 'bridge' for creating chunkwm plugins.
splintersuidman/chunkwm-rs-template
A template for using chunkwm-rs.
splintersuidman/combinatory-logic
Explorations in combinatory logic with Agda
splintersuidman/game-of-life
A Game of Life emulation with support for Life 1.06, Life 1.05, RLE, and plaintext files.
splintersuidman/aoc2021
My solutions for Advent of Code 2021
splintersuidman/BFAL
Brainfuck Abstraction Language.
splintersuidman/tini
tini — There Is No Infix — is a tiny functional programming language.
splintersuidman/Sheaves-in-Topology-lecture-notes
splintersuidman/splintersuidman.github.io
Personal website
splintersuidman/agda-stdlib
The Agda standard library
splintersuidman/Charles-plus-plus
A command line version of Charles
splintersuidman/chip-8
A CHIP-8 interpreter and written in Rust, using OpenGL for the display.
splintersuidman/Comb
Comb is a parser combinator library for Haskell.
splintersuidman/curie
An upscaled version of scientifica.
splintersuidman/duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
splintersuidman/equivariant_homotopy_theory
Notes from Andrew Blumberg's class on equivariant homotopy theory
splintersuidman/evolvim
A port and further development of carykh's evolv.io
splintersuidman/home-manager
Manage a user environment using Nix [maintainer=@rycee]
splintersuidman/lemmy
Building a federated alternative to reddit in rust
splintersuidman/mopidy-mpd
Mopidy extension for controlling playback from MPD clients
splintersuidman/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
splintersuidman/nur-packages
splintersuidman/nurpkgs
My set of packages and modules for the Nix User Repository.
splintersuidman/old-site
My personal blog.
splintersuidman/passenv
Fetches secrets from your password store and adds them to your environment.
splintersuidman/searx
Privacy-respecting metasearch engine
splintersuidman/template-engine
splintersuidman/xmonad-splintah
My xmonad build for NixOS.