matt-noonan Goto Github PK

accelerate

Embedded language for high-performance array computations

accelerate-llvm

alex

A lexical analyser generator for Haskell

brittany

haskell source code formatter

category-theory-programmers

Notes on category theory in the context of (functional) programming

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

confusion

Demo of a mild dependency confusion bug

distributed-tinkering

Tinkering with Cloud Haskell

emacs-config

My .emacs, always a WIP

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

exemplar

Exemplary input/output examples for your Haskell functions

fake-array-test

a repo for a repro

fixie

Splices to help you write simple, modular, composable code with recursive types.

fractalstream

Experimental Haskell rewrite of FractalStream

fractalstream-1.0

Import of FractalStream SVN repo from Google Code

functor-friends

Friendly helpers for your recursion schemes.

gdp

Ghosts of Departed Proofs

gdp-paper

Ghosts of Departed Proofs

gdp-talk

haskell-as-templates

Translation of a Haskell run-time fizzbuzz to a C++ compile-time fizzbuzz. I'm so sorry.

hoogle

Haskell API search engine

in-flight-sudoku

Enranged by the Delta in-flight Sudoku system's refusal to conform to basic Sudoku etiquette, the passenger begins furiously typing into an IHaskell notebook...

inline-c

inline-c-cpp

justified-containers

Standard containers, with keys that carry type-level proofs of their own presence.

lawful

A constraint to assert that your typeclass instances are lawful

llvm-hs

markdown

Convert Markdown to HTML, with XSS protection

ptr-eq-test

Digging into a change in GHC behavior from 8.0.2 -> 8.2.1

retypd-data

Data and scripts for the paper "Polymorphic Type Inference for Machine Code"