matt-noonan/fixie

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created about 7 years ago
Updated about 7 years ago

matt-noonan/fixie

matt-noonan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

justified-containers

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

gdp

Ghosts of Departed Proofs

gdp-paper

Ghosts of Departed Proofs

retypd-data

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

FractalStream

Experimental Haskell rewrite of FractalStream

functor-friends

Friendly helpers for your recursion schemes.

haskell-as-templates

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

exemplar

Exemplary input/output examples for your Haskell functions

ptr-eq-test

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

storm-country-site

Site contents for http://storm-country.com

storm-country

Source for http://storm-country.com

llvm-hs

distributed-tinkering

Tinkering with Cloud Haskell

gdp-talk

fractalstream-1.0

Import of FractalStream SVN repo from Google Code

accelerate-llvm

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...

Jupyter Notebook

lawful

A constraint to assert that your typeclass instances are lawful