There are no reviews yet. Be the first to send feedback to the community and the maintainers!
mote
stationary
A static site generator library for OCamlproof
diffgeo
ocamlfrp
FRP library in OCaml intended primarily for js_of_ocaml usagebba
curve-search
HackerNews-Scraper
A scraper and parser of data from HackerNewscorejs
A partial "spiritual port" of Jane Street's Core to js_of_ocamlvirtual_dom
Virtual_dom bindings for js_of_ocamliterator
Pure iterators for elmCommand-Line-Calendar
Display information from your iCal calendar in the terminalIdris-Elba
stage
"Pure signals" for making animations in elmshortwords
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 databasecabalparse
A hack for slickpiece
wordle-solver
compellingproof
A library for writing animated proofs1d-automata
1 dimensional cellular automaton simulatortsuru_sample
Sample Haskell code for TsuruintSched
Interactive scheduler 2.0LiveScript-Meteor-Package
A Meteor package for the LiveScript languagehaskomplete
Type based auto-complete for Haskellparachat
Peer to peer chat serviceetymonline-scrape
haskellgraph
A graph library in Haskellpower2switch
CalParse
English language parsing for describing calendar eventstodo
A simple, useful todo list appeither
An either type for elmbfhaskell
A brainfuck interpreter in HaskellWatch
iPad app to monitor my computer remotelyalgdraw
A small library for visualizing groups through their Cayley representationsCommand-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 thingsbefunge
A befunge interpreter in HaskellCommand-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, etcwire
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.Love Open Source and this site? Check out how you can help us