matt-noonan/in-flight-sudoku matt-noonan/in-flight-sudoku

  • Stars
    star
    1
  • Language
    Jupyter Notebook
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matt-noonan/in-flight-sudoku
github

matt-noonan

Reviews

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

Repository Details

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

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

retypd-data

Data and scripts for the paper "Polymorphic Type Inference for Machine Code"
BlitzBasic
13
star
5

FractalStream

Experimental Haskell rewrite of FractalStream
Haskell
4
star
6

functor-friends

Friendly helpers for your recursion schemes.
Haskell
3
star
7

haskell-as-templates

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

exemplar

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

ptr-eq-test

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

storm-country-site

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

storm-country

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

llvm-hs

LLVM
1
star
13

distributed-tinkering

Tinkering with Cloud Haskell
Haskell
1
star
14

gdp-talk

TeX
1
star
15

fractalstream-1.0

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

accelerate-llvm

Haskell
1
star
17

fixie

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

lawful

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