deviant-logic Goto Github PK

advent-2022

aeson-filthy

Aeson parsing shims that make me feel dirty

avaleryar

A logical authorization system

bits

Bit twiddling and bitwise serialization primitives

bytes

Serialization primitives that work with both cereal and binary.

cache-file

A Haskell library to cache the results of slow file reads

category-theory

A formalization of category theory in Coq for personal study

cgen

cgen generates C interfaces from C++ headers

conf

cuckoo-filter

ekg

Remote monitoring of running processes over HTTP

elisp

My various bits of elisp

emacs-builds

Self-contained Emacs.app builds for macOS, with native-compilation support in nightly builds.

fugue

A recapitulated prelude with minimal dependencies and profligate exports.

generic-override

Override instances used by Haskell's generic derivation

haskell-mode

Emacs mode for Haskell

haskell-vim

Custom Haskell Vimscripts

hokeylog

Datalog by composition of other people's libraries

hyperloglog

A constant-memory approximation of set membership, currently broken due to the hash function in hashable giving very poor randomness

legate

A command line client for interacting with consul

props

resume

My resume

stack-templates

Project templates for stack new

tables

A simple in-memory data-store for Haskell - Join us in freenode #haskell-lens

zsplit