Pinned Repositories
advent-of-code
http://adventofcode.com/
bnf-to-parsec
generate a parsec parser + datatype from a bnf grammar
core
SPJ's tutorial on implementing functional languages
flycheck-liquidhs.el
Flycheck checker for LiquidHaskell
haskell-tiger
Modern compiler implementation in ML, in Haskell
haskpie
lamb
liquid-types.el
LiquidHaskell type popup for Emacs.
tiger
Modern Compiler Implementation in ML
themattchan's Repositories
themattchan/core
SPJ's tutorial on implementing functional languages
themattchan/haskell-tiger
Modern compiler implementation in ML, in Haskell
themattchan/lamb
themattchan/advent-of-code
http://adventofcode.com/
themattchan/emacs.d
themattchan/haskell-flags-set
Efficient representation of program flags
themattchan/dotfiles
hacky shell scripts
themattchan/hackerrank
themattchan/haskell-src-qq
themattchan/purescript-sokoban
sokoban
themattchan/xmonad-config
My xmonad configuration
themattchan/echo
turn ghci explorations into hunit tests
themattchan/haskell-boolector
Haskell bindings for the Boolector SMT solver
themattchan/haskell-pair-programming
themattchan/haskell-resources
A List of Foundational Haskell Papers
themattchan/hw-parser
themattchan/lio
Labeled IO Library
themattchan/lsp-haskell
themattchan/lsp-mode
Emacs client/library for the Language Server Protocol
themattchan/mapper
memory extender
themattchan/mist
A tiny language for teaching and experimenting with Refinement Types
themattchan/nix1809-hslua-bug
themattchan/nixpkgs
Nix Packages collection
themattchan/proto3-suite
Haskell Protobuf Implementation
themattchan/pulp
A build tool for PureScript projects
themattchan/purescript
A small strongly typed language that compiles to Javascript
themattchan/purescript-optlicative
applicative opt parsing for node
themattchan/purescript-proto3
Protocol Buffers for PureScript
themattchan/purescript-strings
String utility functions, Char type, regular expressions.
themattchan/realworld
simple functional program design