5523-stack-test

Testing the PR commercialhaskell/stack#5523

agdatypedlambda

A simply typed lambda calculus interpreter in Agda

algorithm-w-step-by-step

Playing with the paper Algorithm W Step by Step

android-kerrblackhole

This is a simulation of a particle rotating around a Kerr Blackhole.

bloodhound

Haskell Elasticsearch client and query DSL

btcsim

A simulation of a toy bitcoin network written in Haskell

chicagorustmeetup

This repo contains materials relating to the monthly Chicago Rust Meetup https://www.meetup.com/Chicago-Rust-Meetup/

consul-haskell

A haskell client library for consul (consul.io)

corecompiler

count-with-science

Count With Science

criterion

A powerful but simple library for measuring the performance of Haskell code.

cscrabble

Be warned: This code is horrendously old and bad. I have not touched it in 8+ years. This is a networked scrabble game client and server in C and ncurses.

cumtd

Android cumtd app

dbmate

:rocket: A lightweight, framework-agnostic database migration tool.

doom-emacs

An Emacs framework for the stubborn martian hacker

doom.d

dotfiles

elm

The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

emacs.d

My emacs configuration

ermine

The Ermine Programming Language - Join us on irc.freenode.net #ermine

fingmodules

Implementation of the paper "F-ing Modules"

fourmolu

A fourk of ormolu that uses four space indentation.

fzf

:cherry_blossom: A command-line fuzzy finder

ghcid

Very low feature GHCi based IDE

ghcjs-mithril

Haskell bindings to mithril.js

gitignore

A collection of useful .gitignore templates

gmusicshuffle

gnome-shell-mode

Spacemacs layer for developing gnome-shell extensions

groundhog

This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial http://www.fpcomplete.com/user/lykahb/groundhog for introduction

haskell-mode

Emacs mode for Haskell