thinkpad20 Goto Github PK

mersenne

A Mersenne Twister implementation in C

mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

morsel.jl

netkit

A wrapper library for sockets in C to make it simple and easy to write networking code in C

nspace

A better namespacer for python.

oneormore

A never-empty list type for Haskell.

parsing-with-whitespace

Experimenting with whitespace-sensitive parsers.

pico

A very minimal functional language

reversi

A networking reversi game written in Java, using Sockets and RMI.

router

rowling

A simple, easily embeddable pure-functional language with static typing and row polymorphism.

s3-streams

An Amazon S3 client in Haskell, built on Http-Streams.

simple-coq-classes

Some relatively simple and useful Haskell-style classes for Coq, and some instances for them.

simpleargs

A very straightforward argument parser library for python

software-foundations

My work in the software foundations course.

sql

A front-end (lexer, parser and partial compiler) for a subset of the SQL language

str

A useful Haskell type class for abstracting string implementations.

sublime-text-packages

My Sublime Text 2 Packages

sublime-ur

Ur/web syntax definition for Sublime Text

sublime_settings

My personal settings for Sublime Text.

sublimecoq

Sublime text mode for coq.

synesthesia

A web app for converting images into sound

systems

thinkpad20.github.io

Mah blogz

tinymap

A pure, strict and extremely space efficient HashMap with good asymptotics

trading

Playing around with some trading systems stuff

twitpoll

A twitter clone with the option to create polls.

urweb

Unofficial clone of impredicative.com urweb repo

webblargh

My crappy blog

webserver

written in C and possibly D