mrkgnao Goto Github PK

subhask

Type safe interface for working in subcategories of Hask

system-dc

Strongly typed implementation of System DC, the core language for Dependent Haskell

termanim

A little terminal animation program for BlueJ.

tictactoe-minimax

An in-progress attempt at implementing minimax in Haskell to play tic-tac-toe.

tisch

Type-safe SQL interactions with PostgreSQL, based on Opaleye.

tmux

tmux source code

tonsure

Lightweight sized types and matrices in Haskell

travelling-salesman-genetic

Evolves an approximate solution to the travelling salesman problem using a genetic algorithm

trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

twmn

A notification system for tiling window managers

twmn-mpd

A simple twmn notifier for the Music Player Daemon, using python-mpd2

type-systems

utt

The core type theory from the first chapter of Ulf Norell's (Agda) thesis

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

wiwinwlh

What I Wish I Knew When Learning Haskell

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

write-you-a-scheme-v2

Write You a Scheme

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda

wyas

My solutions to the Write Yourself A Scheme tutorial from Wikibooks

xi-editor

A modern editor with a backend written in Rust.

xi-gtk

a GTK+ front-end for the Xi editor

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

xmonad-contrib

Contributed modules for xmonad

yi

The Haskell-Scriptable Editor

yi-config

My configuration for the Yi editor.