matt-noonan/retypd-data matt-noonan/retypd-data

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language BlitzBasic
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matt-noonan/retypd-data
github

matt-noonan

Reviews

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

Repository Details

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

More Repositories

1

justified-containers

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

gdp

Ghosts of Departed Proofs
Haskell
60
star
3

gdp-paper

Ghosts of Departed Proofs
SMT
39
star
4

FractalStream

Experimental Haskell rewrite of FractalStream
Haskell
4
star
5

functor-friends

Friendly helpers for your recursion schemes.
Haskell
3
star
6

haskell-as-templates

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

exemplar

Exemplary input/output examples for your Haskell functions
Emacs Lisp
3
star
8

ptr-eq-test

Digging into a change in GHC behavior from 8.0.2 -> 8.2.1
Haskell
2
star
9

storm-country-site

Site contents for http://storm-country.com
JavaScript
1
star
10

storm-country

Source for http://storm-country.com
Haskell
1
star
11

llvm-hs

LLVM
1
star
12

distributed-tinkering

Tinkering with Cloud Haskell
Haskell
1
star
13

gdp-talk

TeX
1
star
14

fractalstream-1.0

Import of FractalStream SVN repo from Google Code
Objective-C
1
star
15

accelerate-llvm

Haskell
1
star
16

fixie

Splices to help you write simple, modular, composable code with recursive types.
Haskell
1
star
17

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
1
star
18

lawful

A constraint to assert that your typeclass instances are lawful
Haskell
1
star