Discover @themattchan Open Source projects

@themattchan

themattchan

Stars
118
Global Rank 184,302 (Top 7 %)
Followers 135
Following 136
Registered almost 14 years ago
Most used languages

Haskell
42.9 %

Emacs Lisp
14.3 %

PureScript 7.1 %

C
3.6 %

Shell
3.6 %

Nix
3.6 %

Racket
3.6 %

Coq 3.6 %

PostScript 3.6 %

Elm
3.6 %

Standard ML 3.6 %

Scala
3.6 %

HTML
3.6 %

core

SPJ's tutorial on implementing functional languages

haskell-tiger

Modern compiler implementation in ML, in Haskell

tiger

Modern Compiler Implementation in ML

lamb

advent-of-code

http://adventofcode.com/

flycheck-liquidhs.el

Flycheck checker for LiquidHaskell

bnf-to-parsec

generate a parsec parser + datatype from a bnf grammar

liquid-types.el

LiquidHaskell type popup for Emacs.

haskpie

emacs.d

haskell-flags-set

Efficient representation of program flags

SICP

Adventures in Scheme

software-foundations

Learning formal verification.

purescript-reveal

docgen

scrape webpages -> pdf

toad

a crummy static site generator

hackerrank

dotfiles

hacky shell scripts

projecteuler

Learning Haskell and having fun with math problems.

99problems

purescript-sokoban

MicrosoftCC14

Problems from the Microsoft Coding Challenge at UCSD, Feb 21 2014.

haskell-src-qq

lsp-purescript

pebble_bop

Bop-it for Pebble.

circles

yoctolens

even smaller than microlens

puzzles