Izaak Meckler (@imeckler)

Top repositories

1

mote

Haskell
116
star
2

stationary

A static site generator library for OCaml
OCaml
17
star
3

proof

Haskell
8
star
4

diffgeo

JavaScript
8
star
5

ocamlfrp

FRP library in OCaml intended primarily for js_of_ocaml usage
OCaml
7
star
6

bba

Rust
7
star
7

curve-search

Rust
6
star
8

HackerNews-Scraper

A scraper and parser of data from HackerNews
Python
4
star
9

corejs

A partial "spiritual port" of Jane Street's Core to js_of_ocaml
OCaml
4
star
10

ratio

Ratio library for elm
Elm
3
star
11

virtual_dom

Virtual_dom bindings for js_of_ocaml
JavaScript
3
star
12

iterator

Pure iterators for elm
Elm
3
star
13

Command-Line-Calendar

Display information from your iCal calendar in the terminal
Objective-C
3
star
14

Idris-Elba

JavaScript
3
star
15

stage

"Pure signals" for making animations in elm
Elm
3
star
16

shortwords

Elm
3
star
17

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
Python
2
star
18

cabalparse

A hack for slick
Haskell
2
star
19

piece

Elm
2
star
20

wordle-solver

Rust
2
star
21

compellingproof

A library for writing animated proofs
JavaScript
2
star
22

1d-automata

1 dimensional cellular automaton simulator
Haskell
2
star
23

tsuru_sample

Sample Haskell code for Tsuru
Haskell
2
star
24

intSched

Interactive scheduler 2.0
JavaScript
1
star
25

LiveScript-Meteor-Package

A Meteor package for the LiveScript language
JavaScript
1
star
26

haskomplete

Type based auto-complete for Haskell
Haskell
1
star
27

parachat

Peer to peer chat service
Haskell
1
star
28

etymonline-scrape

Haskell
1
star
29

CalParse

English language parsing for describing calendar events
Haskell
1
star
30

haskellgraph

A graph library in Haskell
Haskell
1
star
31

power2switch

Python
1
star
32

todo

A simple, useful todo list app
Haskell
1
star
33

either

An either type for elm
Elm
1
star
34

bfhaskell

A brainfuck interpreter in Haskell
Haskell
1
star
35

Watch

iPad app to monitor my computer remotely
C
1
star
36

algdraw

A small library for visualizing groups through their Cayley representations
Haskell
1
star
37

Command-Line-Plotter

Plots functions in ASCII. Mostly written as an exercise to help me learn Ruby.
Ruby
1
star
38

queue

Elm
1
star
39

oak

OCaml
1
star
40

Bill-Paying-Problem

Racket
1
star
41

elmasaki

HTML
1
star
42

turing

Turing machine drawings and related things
Haskell
1
star
43

befunge

A befunge interpreter in Haskell
Haskell
1
star
44

Command-Line-Lyrics

Python
1
star
45

Textish

1
star
46

Course-Evaluations-Scraper

This is a data-scraper for the UChicago course evaluations website. You must have a valid cNet ID to use this program.
1
star
47

funwithtypes

Some explorations of types. Type system implementation, theorem proving, etc
Haskell
1
star
48

wire

An implementation of the language described in the paper "The Two Dualities of Computation: Negative and Fractional Types"
Haskell
1
star
49

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.
Python
1
star