Beast code in Giters

themattchan's repositories

core

SPJ's tutorial on implementing functional languages

Language:HaskellMIT27 40

haskell-tiger

Modern compiler implementation in ML, in Haskell

Language:HaskellBSD-3-Clause16 50

lamb

Language:HaskellMIT11 50

advent-of-code

http://adventofcode.com/

Language:Haskell9 30

emacs.d

Language:Emacs LispGPL-3.03 4 1

haskell-flags-set

Efficient representation of program flags

Language:NixApache-2.03 1 1

dotfiles

hacky shell scripts

Language:Shell1 30

hackerrank

Language:Haskell1 30

haskell-src-qq

Language:HaskellApache-2.01 20

purescript-sokoban

sokoban

Language:PureScript1 30

xmonad-config

My xmonad configuration

Language:Haskell1 20

echo

turn ghci explorations into hunit tests

020

haskell-boolector

Haskell bindings for the Boolector SMT solver

Language:HaskellNOASSERTION020

haskell-pair-programming

030

haskell-resources

A List of Foundational Haskell Papers

020

hw-parser

Language:HaskellBSD-3-Clause010

lio

Labeled IO Library

Language:Haskell010

lsp-haskell

Language:Emacs LispGPL-3.0020

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispGPL-3.0020

mapper

memory extender

Language:NixBSD-3-Clause020

mist

A tiny language for teaching and experimenting with Refinement Types

Language:HaskellMIT020

nix1809-hslua-bug

Language:Nix030

nixpkgs

Nix Packages collection

Language:NixMIT020

proto3-suite

Haskell Protobuf Implementation

Language:HaskellNOASSERTION010

pulp

A build tool for PureScript projects

Language:PureScriptLGPL-3.0020

purescript

A small strongly typed language that compiles to Javascript

Language:HaskellNOASSERTION020

purescript-optlicative

applicative opt parsing for node

Language:PureScriptMIT020

purescript-proto3

Protocol Buffers for PureScript

Language:PureScript010

purescript-strings

String utility functions, Char type, regular expressions.

Language:PureScriptMIT020

realworld

simple functional program design

020