Greg Hendershott's starred repositories
bypass-paywalls-chrome
Bypass Paywalls web browser extension for Chrome and Firefox.
emacs-libvterm
Emacs libvterm integration
counterexamples
Counterexamples in Type Systems
emacs-reformatter
Define commands which run reformatters on the current Emacs buffer
indent-bars
Fast, configurable indentation guide-bars for Emacs
magic-racket
The best coding experience for Racket in VS Code
setup-emacs
Github action which installs a given Emacs version
setup-racket
A GH action for installing Racket.
racket-language-server
Racket Language Server
setup-emacs-windows
A Github Action that installs a specific emacs version
corpse-reviver
Sound and efficient gradual typing via contract verification.
object-backtrace
find out what keeps an object alive
rhombus-mode
Emacs Major mode for Rhombus (experimental)
racket-derp
Parsing with derivatives