James Sully's repositories
buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
adventofcode2022
adventofcode2022
indent-clipboard
Indent the clipboard contents by 4 spaces
nix-config
Nix home-manager machine config
goup
It's better than typing `cd ../../../..`
austral
Systems language with linear types and capability-based security.
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
findall
findall
heyting-algebras
Heyting Algebras in Haskell
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
plaintextify
Fetch html from a list of urls, and output as plain text
taskStack
taskStack
uiua
A stack-based array programming language
yyp
copy quicker