themattchan Goto Github PK

htdp

My solutions to the problem sets in HtDP

hw-parser

icechat

something something something

idris-dev

A Dependently Typed Functional Programming Language

infer

Experiments in dependent type inference

interviews

isicp

Interactive Structure and Interpretation of Computer Programs

jekyll

Jekyll is a blog-aware, static site generator in Ruby

julia-set

lamb

latex-homework

LaTeX class and template for typesetting math homework

latex-styles

my latex preambles

lh-workshop

Materials for LambdaConf LiquidHaskell Workshop

lightsabers

some tiny, beautiful and difficult code

lio

Labeled IO Library

lio-semantics

Formal semantics for LIO

liquid-types.el

LiquidHaskell type popup for Emacs.

liquidhaskell

Liquid Types For Haskell

liquidhaskell-cabal

Liquid Haskell integration for Cabal and stack

lisp-koans

Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.

lsp-haskell

lsp-mode

Emacs client/library for the Language Server Protocol

lsp-purescript

lux

The Lux Programming Language

mapper

memory extender

markdown-css-themes

A collection of css themes for Markdown

markdown-mode.el

My tweaks to http://jblevins.org/projects/markdown-mode

melpa

Scripts for building Emacs packages from Version Control

microsoftcc14

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

mist

A tiny language for teaching and experimenting with Refinement Types