James Sully's repositories
buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
nix-config
Nix home-manager machine config
austral
Systems language with linear types and capability-based security.
brightness-popup-rs
tiny gui for backlight control
cache-effectful
Bindings to the `cache` library for the Effectful ecosystem
cheatsheets
Cheatsheets for https://github.com/cheat/cheat
devenv
Fast, Declarative, Reproducible, and Composable Developer Environments
Http.lean
HTTP Primitives for Lean4
jj
A Git-compatible DVCS that is both simple and powerful
lean4
Lean 4 programming language and theorem prover
linkclump
Google chrome extension that allows you to open multiple links at once.
mentat
Mentat - The AI Coding Assistant
niri
A scrollable-tiling Wayland compositor.
plaintextify
Fetch html from a list of urls, and output as plain text
socket.lean
sockets for Lean 4
uiua
A stack-based array programming language