Izaak Meckler

Elite
@imeckler
parametricity.com

mote. Haskell

116

stationary. A static site generator library for OCaml

16

diffgeo. JavaScript

8

ocamlfrp. FRP library in OCaml intended primarily for js_of_ocaml usage

8

proof. Haskell

7

bba. Rust

6

curve-search. Rust

5

HackerNews-Scraper. A scraper and parser of data from HackerNews

4

corejs. A partial "spiritual port" of Jane Street's Core to js_of_ocaml

4

shortwords. Elm

3

iterator. Pure iterators for elm

3

ratio. Ratio library for elm

3

stage. "Pure signals" for making animations in elm

3

Command-Line-Calendar. Display information from your iCal calendar in the terminal

3

Idris-Elba. JavaScript

3

virtual_dom. Virtual_dom bindings for js_of_ocaml

3

compellingproof. A library for writing animated proofs

2

cabalparse. A hack for slick

2

wordle-solver. Rust

2

piece. Elm

2

Watch. iPad app to monitor my computer remotely

2

1d-automata. 1 dimensional cellular automaton simulator

2

tsuru_sample. Sample Haskell code for Tsuru

2

Graph-Visualization. Includes a force driven visualizer for graphs, a module that builds a graph of a user's Facebook friends, and a module that builds a phylogenetic tree from a database

2

etymonline-scrape. Haskell

1

befunge. A befunge interpreter in Haskell

1

queue. Elm

1

repcalc. For doing calculations with representations of F2

1

todo. A simple, useful todo list app

1

UChicago-Course-Watcher. Monitors the UChicago course registration website, sending you an email and/or a text message if a course you want becomes available.

1

funwithtypes. Some explorations of types. Type system implementation, theorem proving, etc

1

either. An either type for elm

1

CalParse. English language parsing for describing calendar events

1

bfhaskell. A brainfuck interpreter in Haskell

1

oak. OCaml

1

elmasaki. HTML

1

Command-Line-Plotter. Plots functions in ASCII. Mostly written as an exercise to help me learn Ruby.

1

parachat. Peer to peer chat service

1

Textish.

1

algdraw. A small library for visualizing groups through their Cayley representations

1

turing. Turing machine drawings and related things

1

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

1

LiveScript-Meteor-Package. A Meteor package for the LiveScript language

1

wire. An implementation of the language described in the paper "The Two Dualities of Computation: Negative and Fractional Types"

1

intSched. Interactive scheduler 2.0

1

haskomplete. Type based auto-complete for Haskell

1

power2switch. Python

1

haskellgraph. A graph library in Haskell

1

Bill-Paying-Problem. Racket

1
49
Apply