Splinter Suidman's repositories
nerdbar.widget
Übersicht bar with support for chunkwm.
chunkwm-rs
A Rust 'bridge' for creating chunkwm plugins.
configuration
My home and system configuration
chunkwm-rs-template
A template for using chunkwm-rs.
zermelo-rs
A Rust crate that retrieves a schedule from Zermelo.
combinatory-logic
Explorations in combinatory logic with Agda
game-of-life
A Game of Life emulation with support for Life 1.06, Life 1.05, RLE, and plaintext files.
agda-stdlib
The Agda standard library
Charles-plus-plus
A command line version of Charles
chip-8
A CHIP-8 interpreter and written in Rust, using OpenGL for the display.
Comb
Comb is a parser combinator library for Haskell.
curie
An upscaled version of scientifica.
duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
equivariant_homotopy_theory
Notes from Andrew Blumberg's class on equivariant homotopy theory
evolvim
A port and further development of carykh's evolv.io
home-manager
Manage a user environment using Nix [maintainer=@rycee]
kitty
A cross-platform, fast, feature full, GPU based terminal emulator
lemmy
Building a federated alternative to reddit in rust
mopidy-mpd
Mopidy extension for controlling playback from MPD clients
NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
nurpkgs
My set of packages and modules for the Nix User Repository.
old-site
My personal blog.
passenv
Fetches secrets from your password store and adds them to your environment.
searx
Privacy-respecting metasearch engine
xmonad-splintah
My xmonad build for NixOS.