Pinned Repositories
AgdaAoC
Advent of Code 2021 in Agda.
AutoGitSync
cleff
Fast and concise extensible effects
College
consult
:mag: consult.el - Consulting completing-read
Dissertation-ModularLanguageStacking
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
KeyWork
🗝👷🏼♂️ - Elisp DSL for declaring modal bindings in Emacs.
MobileHaskellProjectTemplate
Template project for running Haskell on Android and iOS.
ParserMonad.el
Parser combinators for Lisp lists.
ErnestKz's Repositories
ErnestKz/KeyWork
🗝👷🏼♂️ - Elisp DSL for declaring modal bindings in Emacs.
ErnestKz/ParserMonad.el
Parser combinators for Lisp lists.
ErnestKz/AgdaAoC
Advent of Code 2021 in Agda.
ErnestKz/cleff
Fast and concise extensible effects
ErnestKz/consult
:mag: consult.el - Consulting completing-read
ErnestKz/denote
Simple notes for Emacs with an efficient file-naming scheme
ErnestKz/Dissertation-ModularLanguageStacking
ErnestKz/ErnestKz
ErnestKz/haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
ErnestKz/MobileHaskellProjectTemplate
Template project for running Haskell on Android and iOS.
ErnestKz/ek-emacs
Emacs config that makes the most out of simple things.
ErnestKz/ek-xmonad
ErnestKz/file-sync
ErnestKz/gitlib
ErnestKz/haskell-mode
Emacs mode for Haskell
ErnestKz/InfoSearch
ErnestKz/misc_data_host
ErnestKz/OptimisationAlgorithms
ErnestKz/Overlay
Personal Nix overlay exposing: NixOS modules, home-manager modules, package sets, custom nixpkgs utilities.
ErnestKz/Peas
Postgres. Elm. Authentication. Servant (P.E.A.S)
ErnestKz/reactive-banana
Library for functional reactive programming in Haskell.
ErnestKz/sensible
ErnestKz/serenity
The Serenity Operating System 🐞
ErnestKz/servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
ErnestKz/simfin
SimFin API wrapper for Haskell
ErnestKz/TextAnalyticsReport
ErnestKz/tsi.el
treesitter-based indendentation for emacs 28 and 27
ErnestKz/wat-mode
An Emacs major mode for WebAssembly's text format
ErnestKz/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
ErnestKz/xmonad-contrib
Contributed modules for xmonad