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 ../../../..`
heartbeast-godot-4-platformer-tutorial
indent-clipboard
Indent the clipboard contents by 4 spaces
nix-config
Nix home-manager machine config
sullyj3's Repositories
sullyj3/buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
sullyj3/adventofcode2022
adventofcode2022
sullyj3/heartbeast-godot-4-platformer-tutorial
sullyj3/indent-clipboard
Indent the clipboard contents by 4 spaces
sullyj3/nix-config
Nix home-manager machine config
sullyj3/goup
It's better than typing `cd ../../../..`
sullyj3/austral
Systems language with linear types and capability-based security.
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/example-rust-server-flake
sullyj3/findall
findall
sullyj3/heyting-algebras
Heyting Algebras in Haskell
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/Jump-Rectangle
sullyj3/lang
lang
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/nixos-config
sullyj3/plaintextify
Fetch html from a list of urls, and output as plain text
sullyj3/taskStack
taskStack
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