matt-noonan/justified-containers

Stars
80
Rank 404,329 (Top 8 %)
Language
Haskell
License
BSD 2-Clause "Sim...
Created over 7 years ago
Updated almost 5 years ago

matt-noonan/justified-containers

matt-noonan

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

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

fixie

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

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