ejconlon/notate

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 8 years ago
Updated almost 8 years ago

ejconlon/notate

ejconlon

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

An easy workflow for IHaskell notebooks using intero.

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

climb

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

tactique

A proof search and construction framework (based on refinery)

exathunk

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

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.