Cody Goodman's repositories
dotfiles-1
nixos dotfiles
dotfiles-2
NixOS system config & Home-Manager user config
dotfiles-3
My personal dotfiles
edutainmentlive.github.io
:pencil2: The EdutainmentLIVE developer blog.
Language:HTML000
evoke
:crystal_ball: A GHC plugin to derive instances.
MIT000
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
MIT000
openid-connect
An OpenID Connect library that does all the heavy lifting for you
BSD-2-Clause000
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Language:HaskellMIT000
servant-serf
🚜 Automatically generate Servant API modules.
tumblrsearch
just something to search for things on tumblr using pytumblr