Eric Conlon

analyze. making data science easy and safe with data frames in haskell

bottle-bootstrap. A simple recipe for Bottle.py + Twitter Bootstrap + Heroku

polyendtracker-formats. Collaborative documentation of the file formats used by the Polyend Tracker

overeasy. A purely functional E-Graph library

scrapti. Utility to convert Polyend Tracker PTI files (WIP)

minipat. Music pattern language + live coding environment

blanks. Fill-in-the-blanks - A library factoring out substitution from ASTs

haskell-linenoise. A lightweight readline-replacement library for Haskell

notate. An easy workflow for IHaskell notebooks using intero.

climb. Building blocks for a GHCi-like REPL with colon-commands

tactique. A proof search and construction framework (based on refinery)

iwantaride. A demo for a ride-sharing website build at Techraising Spring 2012

exathunk. A typed-AST-over-RPC framework for distributed purely-functional programming

yapyotr. yet another python binding for Off-the-Record (OTR) Messaging

little-rio. When you need just the RIO monad

infernal. The Infernal Machine - An AWS Lambda Custom Runtime for Haskell

dahdit. Binary parsing and serialization with integrated size

jthrift. The start of a port of the Thrift IDL parser + code generator to Java

thunkjs. Experiments with JSON Schema

dcpy. DCPU-16 utils (parser, assembler, disassembler) for Python

ixarray. A wrapper around Data.IOArray that checks bounds in the types.

cppeuler. Some Project Euler solutions in C++

sascheme. Still Another Scheme

jquery_scrollbox. A scrolling plugin for jQuery

knowledge_games. A chess engine

xomb. An exokernel operating system written in D

Wecolage_Django. Wecolage for Django

Wecolage. A social pasting engine

biosignals. Course project for CPSC 554X

haskell-rtaudio. Haskell wrapper for RtAudio, the lightweight, cross-platform Audio I/O library.

parabuf.

farce. Exploring schema-based REST API definitions by implementing Parse.com's API

uniter. A generic first-order unification library using union-maps

lyric. An abstract machine for the Verse language

docker-idris-custom. Shell

dxedrine. Haskell

s2ihaskell. Builds containers for Haskell programs using s2i and Stack

midriff. a WIP midi library for haskell

ltlspec. Haskell

aeson-via. Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses

jsubschema. A dialect of JSON-Schema together with utilities for code-generation, validation, and more.

looksee. A simple text parser with decent errors

hyper-eval. Haskell

simple-parser. Simple parser combinators

idr-package-set.

bowtie. Tying knots in functors

rulecheck. Automated test case generation for Haskell rewrite rules