Pinned Repositories
adventofcode2022
adventofcode2022
bf
Interactive brainfuck in Haskell
bit
This is my text editor. There are many like it, but this one is mine
Blooper
A synth for the Circuit Playground Bluefruit
buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
fuck-rules
Some rules I use with thefuck
goup
It's better than typing `cd ../../../..`
indent-clipboard
Indent the clipboard contents by 4 spaces
nix-config
Nix home-manager machine config
sand
Command line countdown timers that don't take up a terminal.
sullyj3's Repositories
sullyj3/buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
sullyj3/heartbeast-godot-4-platformer-tutorial
sullyj3/nix-config
Nix home-manager machine config
sullyj3/goup
It's better than typing `cd ../../../..`
sullyj3/sand
Command line countdown timers that don't take up a terminal.
sullyj3/austral
Systems language with linear types and capability-based security.
sullyj3/big_bin_repro_repo
sullyj3/brightness-popup-rs
tiny gui for backlight control
sullyj3/cache-effectful
Bindings to the `cache` library for the Effectful ecosystem
sullyj3/cheatsheets
Cheatsheets for https://github.com/cheat/cheat
sullyj3/devenv
Fast, Declarative, Reproducible, and Composable Developer Environments
sullyj3/downBad
sullyj3/Http.lean
HTTP Primitives for Lean4
sullyj3/hyperium.github.io
sullyj3/jj
A Git-compatible DVCS that is both simple and powerful
sullyj3/jj-crash-repro-repo
sullyj3/jj-test-repo
sullyj3/Jump-Rectangle
sullyj3/lean-sdl2
sullyj3/lean4
Lean 4 programming language and theorem prover
sullyj3/linkclump
Google chrome extension that allows you to open multiple links at once.
sullyj3/mentat
Mentat - The AI Coding Assistant
sullyj3/niri
A scrollable-tiling Wayland compositor.
sullyj3/plaintextify
Fetch html from a list of urls, and output as plain text
sullyj3/socket.lean
sockets for Lean 4
sullyj3/test-jujutsu-repo
sullyj3/txtReader
Read text files in the browser, comfortably
sullyj3/uiua
A stack-based array programming language
sullyj3/wavy
sullyj3/yyp
copy quicker