ejconlon/exathunk

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Java
Created almost 13 years ago
Updated over 12 years ago

ejconlon/exathunk

ejconlon

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

analyze

making data science easy and safe with data frames in haskell

bottle-bootstrap

A simple recipe for Bottle.py + Twitter Bootstrap + Heroku

overeasy

A purely functional E-Graph library

polyendtracker-formats

Collaborative documentation of the file formats used by the Polyend Tracker

blanks

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

scrapti

Utility to convert Polyend Tracker PTI files (WIP)

minipat

Music pattern language + live coding environment

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)

yapyotr

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

infernal

The Infernal Machine - An AWS Lambda Custom Runtime for Haskell

iwantaride

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

little-rio

When you need just the RIO monad

knowledge_games

dcpy

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

Wecolage

A social pasting engine

thunkjs

Experiments with JSON Schema

sascheme

Still Another Scheme

cppeuler

Some Project Euler solutions in C++

jquery_scrollbox

A scrolling plugin for jQuery

Wecolage_Django

Wecolage for Django

jthrift

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

dahdit

Binary parsing and serialization with integrated size

hyper-eval

docker-idris-custom

biosignals

Course project for CPSC 554X

Jupyter Notebook

uniter

A generic first-order unification library using union-maps

parabuf

ltlspec

jsubschema

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

looksee

A simple text parser with decent errors

lyric

An abstract machine for the Verse language

idr-package-set

s2ihaskell

Builds containers for Haskell programs using s2i and Stack

simple-parser

Simple parser combinators

aeson-via

Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses

midriff

a WIP midi library for haskell

farce

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

dxedrine

bowtie

Tying knots in functors

haskell-rtaudio

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