Discover @matt-noonan Open Source projects

Matt Noonan (@matt-noonan)

matt-noonan

Stars
219
Global Rank 114,775 (Top 4 %)
Followers 61
Registered about 9 years ago
Most used languages

Haskell
52.6 %

C++
5.3 %

TeX
5.3 %

BlitzBasic 5.3 %

Objective-C
5.3 %

JavaScript
5.3 %

Emacs Lisp
5.3 %

SMT 5.3 %

LLVM 5.3 %

Jupyter Notebook
5.3 %
Location 🇺🇸 United States
Country Total Rank 27,046
Country Ranking

BlitzBasic 2

SMT 5

LLVM 106

Haskell
174

Emacs Lisp
1,356

TeX
4,870

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

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