Pinned Repositories
Can-It-Code-Quake
A Project to code the Quake 3 algorithm in every langauge
cheatsheet.nvim
A cheatsheet plugin for neovim with bundled cheatsheets for the editor, multiple vim plugins, nerd-fonts, regex, etc. with a Telescope fuzzy finder interface!
cornelis
agda-mode for neovim
crumbtoo
Config files for my GitHub profile.
diagflow.nvim
LSP diagnostics in virtual text at the top right of your screen
doomemacs
An Emacs framework for the stubborn martian hacker
dots
heirloom-ng
A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating additional features necessary today.
idris2-snippets.nvim
A collection of luasnip snippets for Idris 2.
sydml
crumbtoo's Repositories
crumbtoo/heirloom-ng
A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating additional features necessary today.
crumbtoo/idris2-snippets.nvim
A collection of luasnip snippets for Idris 2.
crumbtoo/sydml
crumbtoo/Can-It-Code-Quake
A Project to code the Quake 3 algorithm in every langauge
crumbtoo/cheatsheet.nvim
A cheatsheet plugin for neovim with bundled cheatsheets for the editor, multiple vim plugins, nerd-fonts, regex, etc. with a Telescope fuzzy finder interface!
crumbtoo/cornelis
agda-mode for neovim
crumbtoo/crumbtoo
Config files for my GitHub profile.
crumbtoo/diagflow.nvim
LSP diagnostics in virtual text at the top right of your screen
crumbtoo/doomemacs
An Emacs framework for the stubborn martian hacker
crumbtoo/dots
crumbtoo/extra
Extra Haskell functions
crumbtoo/free
free monads
crumbtoo/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
crumbtoo/microlens
A lightweight (but compatible with ‘lens’) lenses library
crumbtoo/nats
crumbtoo/nix-dots
crumbtoo/haskell-tree-sitter
Haskell bindings for tree-sitter
crumbtoo/hibiscus.nvim
:hibiscus: Flavored Fennel Macros for Neovim
crumbtoo/idris2-lens
Profunctor optics/lenses for Idris2
crumbtoo/nordic.nvim
🌒 Nord for Neovim, but warmer and darker. Supports a variety of plugins and other platforms.
crumbtoo/passwd-shell-benchmarks
A motley collection of quick hacks to count the occurrences of each login shell in a passwd file
crumbtoo/presilk
crumbtoo/puppy.tf-site
crumbtoo/puppy.tf.old
crumbtoo/purrlude
crumbtoo/ruelang
crumbtoo/s-cargot
Elaborate and expressive S-Expression library for Haskell
crumbtoo/syd-guix
my channel for various guix packages
crumbtoo/tbs
C specific-width types
crumbtoo/tree-sitter-dale