blaisorblade Goto Github PK

haskell-style-guide

A document describing how I like Haskell code to be written

haskell-takewhile

Experiments on fixing a bug in GHC libraries

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

hoas-with-names

Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*

homebrew

The missing package manager for OS X.

homebrew-binary

Precompiled binary formulae for the Homebrew package manager.

homebrew-boneyard

Archive of formulae removed from the Homebrew package manager

homebrew-brew

homebrew formula

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-emacs-plus

Emacs Plus formulae for the Homebrew package manager

homebrew-personal

hs-tls

TLS/SSL implementation in haskell

htdp

hwebui

Haskell User Interface Library

icfp-contest-2015

idris-dev

A Dependently Typed Functional Programming Language

iitc-ingress-maxfields-exporter

incremental-computing

Temp. clone of https://hackage.haskell.org/package/incremental-computing

ingress-data

ingress-intel-total-conversion

ingress.com/intel total conversion user script with some new features. Should allow easier extension of the intel map.

intern

Hash consing for arbitrary Haskell data types

iris-coq

knot-esop-2017-case-study

Copy of Knot case study tarball from https://users.ugent.be/~skeuchel/knot/knot-20161026.tar.gz, with updates (?)

learning-syntactic

Reimplementing http://hackage.haskell.org/package/syntactic so that I can learn it. Not for use.

macrocosm

Exploration of Scala macros

magithub

Magit-based interfaces to GitHub

make-release-notes

The project that generates Scala release notes.

metaprogagda

being the materials for Summer 2013's course

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source