Pinned Repositories
dota-2-cfg
Dota 2 configuration files.
dotfiles
Configuration files.
evil-sneak
Emulation of vim-sneak for emacs' evil-mode
haskell-libraries
Random Haskell libraries I create, either for other programs, for fun, or when bored.
Idris-dev
A Dependently Typed Functional Programming Language
idris-libraries
Idris libraries, mostly for practice
Lancer-Community-Edition
Lancer - Community Edition
lisp-libraries
Old lisp libraries I made, uncompressed from ancient archives unearthed from dusty external storage devices.
QuadTree
QuadTree library for Haskell, using lenses.
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
AshleyMoni's Repositories
AshleyMoni/Lancer-Community-Edition
Lancer - Community Edition
AshleyMoni/QuadTree
QuadTree library for Haskell, using lenses.
AshleyMoni/lisp-libraries
Old lisp libraries I made, uncompressed from ancient archives unearthed from dusty external storage devices.
AshleyMoni/evil-sneak
Emulation of vim-sneak for emacs' evil-mode
AshleyMoni/dota-2-cfg
Dota 2 configuration files.
AshleyMoni/dotfiles
Configuration files.
AshleyMoni/haskell-libraries
Random Haskell libraries I create, either for other programs, for fun, or when bored.
AshleyMoni/Idris-dev
A Dependently Typed Functional Programming Language
AshleyMoni/idris-libraries
Idris libraries, mostly for practice
AshleyMoni/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
AshleyMoni/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
AshleyMoni/StrongNat
A fussier version of Nat.idr that uses dependent typing a bit more strictly.
AshleyMoni/Zero-K
Open source RTS game running on the Spring engine