ernestkz Goto Github PK

agdaaoc

Advent of Code 2021 in Agda.

autogitsync

cleff

Fast and concise extensible effects

college

denote

Simple notes for Emacs with an efficient file-naming scheme

dissertation-modularlanguagestacking

ek-emacs

Emacs config that makes the most out of simple things.

ek-xmonad

ernestkz

file-sync

frp-db

gitlib

haskell-language-server

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

haskell-mode

Emacs mode for Haskell

infosearch

keywork

🗝👷🏼‍♂️ - Elisp DSL for declaring modal bindings in Emacs.

misc_data_host

mobilehaskellprojecttemplate

Template project for running Haskell on Android and iOS.

monad.el

(WIP) Toy implementation of monads in Emacs Lisp

multi-except

Applicative Exception Type that supports multiple exceptions reported by one computation

nixpkgs

Nix Packages collection

optimisationalgorithms

org-roam

Rudimentary Roam replica with Org-mode

overlay

Personal Nix overlay exposing: NixOS modules, home-manager modules, package sets, custom nixpkgs utilities.

parsermonad.el

Parser combinators for Lisp lists.

peas

Postgres. Elm. Authentication. Servant (P.E.A.S)

quad-ci

reactive-banana

Library for functional reactive programming in Haskell.

reflex-platform

A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

sensible