Cody Goodman's repositories
dotfiles-1
nixos dotfiles
dotfiles-2
NixOS system config & Home-Manager user config
MIT000
dotfiles-3
My personal dotfiles
edutainmentlive.github.io
:pencil2: The EdutainmentLIVE developer blog.
Language:HTML000
EvalTest
Testing hls-eval-plugin with Stack.
BSD-3-Clause000
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.
Apache-2.0000
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
000
knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
MIT000
Language:HaskellMIT000
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT000
Language:HaskellMIT000
servant-serf
🚜 Automatically generate Servant API modules.
MIT000
Language:Haskell000
Language:Emacs Lisp000
tumblrsearch
just something to search for things on tumblr using pytumblr
Language:Python000
Language:Emacs Lisp000