Discover @imeckler Open Source projects

Izaak Meckler (@imeckler)

imeckler

Stars
237
Global Rank 107,784 (Top 4 %)
Followers 136
Following 12
Registered almost 13 years ago
Most used languages

Haskell
36.2 %

Elm
14.9 %

JavaScript
12.8 %

Python
10.6 %

OCaml
8.5 %

Rust
6.4 %

C
2.1 %

HTML
2.1 %

Ruby
2.1 %

Objective-C
2.1 %

Racket
2.1 %

mote

stationary

A static site generator library for OCaml

proof

diffgeo

ocamlfrp

FRP library in OCaml intended primarily for js_of_ocaml usage

bba

curve-search

HackerNews-Scraper

A scraper and parser of data from HackerNews

corejs

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

ratio

Ratio library for elm

virtual_dom

Virtual_dom bindings for js_of_ocaml

iterator

Pure iterators for elm

Command-Line-Calendar

Display information from your iCal calendar in the terminal

Idris-Elba

stage

"Pure signals" for making animations in elm

shortwords

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

cabalparse

A hack for slick

piece

wordle-solver

compellingproof

A library for writing animated proofs

1d-automata

1 dimensional cellular automaton simulator

tsuru_sample

Sample Haskell code for Tsuru

intSched

Interactive scheduler 2.0

LiveScript-Meteor-Package

A Meteor package for the LiveScript language

haskomplete

Type based auto-complete for Haskell

parachat

Peer to peer chat service

etymonline-scrape

haskellgraph

A graph library in Haskell

power2switch

CalParse

English language parsing for describing calendar events

todo

A simple, useful todo list app

either

An either type for elm

bfhaskell

A brainfuck interpreter in Haskell

Watch

iPad app to monitor my computer remotely

algdraw

A small library for visualizing groups through their Cayley representations

Command-Line-Plotter

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

oak

queue

Bill-Paying-Problem

elmasaki

turing

Turing machine drawings and related things

befunge

A befunge interpreter in Haskell

Command-Line-Lyrics

Textish

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.

funwithtypes

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

wire

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

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.