imeckler/jquery-ui
The official jQuery user interface library.
Developer Profile
imeckler
Discovered public repositories for imeckler in the GitHub catalog.
imeckler/hemokit
Haskell library for the Emotiv EEG, inspired by the Emokit code
imeckler/mathblog
Math blog
imeckler/algdraw
A small library for visualizing groups through their Cayley representations
imeckler/devart-template
Public repository.
imeckler/turing
Turing machine drawings and related things
imeckler/corejs
A partial "spiritual port" of Jane Street's Core to js_of_ocaml
imeckler/compellingproof
A library for writing animated proofs
imeckler/ocamlfrp
FRP library in OCaml intended primarily for js_of_ocaml usage
imeckler/Idris-dev
A Dependently Typed Functional Programming Language
imeckler/config
My config files
imeckler/HoTT-Agda
Development of homotopy type theory in Agda
imeckler/theorems
Just some theorems in Agda, Coq, Idris, etc
imeckler/wire
An implementation of the language described in the paper "The Two Dualities of Computation: Negative and Fractional Types"
imeckler/parachat
Peer to peer chat service
imeckler/Idris-Elba
Public repository.
imeckler/idrisjs
A Javascript API for Idris
imeckler/befunge
A befunge interpreter in Haskell
imeckler/symbolic-calculus
A symbolic derivatives calculator for functions from R^n -> R^m written in Idris
imeckler/bfhaskell
A brainfuck interpreter in Haskell
imeckler/todo
A simple, useful todo list app
imeckler/telephone
Phone-desktop communication
imeckler/haskellgraph
A graph library in Haskell
imeckler/hiddenmarkovmovie
Public repository.
imeckler/please-no-more
A simple tool to prevent you from adding files to directories
imeckler/CalParse
English language parsing for describing calendar events
imeckler/funwithtypes
Some explorations of types. Type system implementation, theorem proving, etc
imeckler/1d-automata
1 dimensional cellular automaton simulator
imeckler/party_sim
A simulation of a party
imeckler/docx2txt
Just a simple utility to convert docx files to nice utf-8
imeckler/etymonline-scrape
Public repository.
imeckler/tsuru_sample
Sample Haskell code for Tsuru
imeckler/MoodTrack-site
Public repository.
imeckler/haskomplete
Type based auto-complete for Haskell
imeckler/Personal-site
My personal website
imeckler/LiveScript-Meteor-Package
A Meteor package for the LiveScript language
imeckler/intSched
Interactive scheduler 2.0
imeckler/Textish
Public repository.
imeckler/power2switch
Public repository.
imeckler/Command-Line-Plotter
Plots functions in ASCII. Mostly written as an exercise to help me learn Ruby.
imeckler/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.
imeckler/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
imeckler/HackerNews-Scraper
A scraper and parser of data from HackerNews
imeckler/Watch
iPad app to monitor my computer remotely
imeckler/Command-Line-Calendar
Display information from your iCal calendar in the terminal
imeckler/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.
imeckler/Command-Line-Lyrics
Public repository.
imeckler/Bill-Paying-Problem
Public repository.