Sandy Vanderbleek

haskellandchill.com. writing on haskell

vimeo_scrape. Scrape videos from Vimeo, if that's your thing

x-language-review. Reviews of up and coming programming languages

elm-bot. a lambdabot style bot for elm with slack support

meetup-leave-group-ui. Minimal UI for leaving your meetup.com groups

interactive-math.

thai-word-sources. Combine audio and translation services for Thai words

bountymarkdown. bounty challenge involving markdown

media-server. Haskell Image and Video Management Server

decision-procedures. C++

nat-challenge-hs.

lambda-game. Elm game for Lambda Calculus

student-lang. The Student Programming Language

meetup-leave-many. Easy UI to leave many meetup groups

kitty-course. Category Theory in Haskell Course Exercises

dynprog. DP exercises in haskell

The-Working-Programmer-s-Guide-to-Working-Programs. this should be a book that I write somehow

baselang. haskell baselang client

impfp. imperative funcitonal programming exercises

coq2idris-. do some coq exercises in idris

fundamental-proof-methods-in-computer-science. Papers, Exercises, and Further Work

geo-idris. try in idris

css_browser_selector. Gives the ability to write specific CSS code for each operating system and each browser from the backend or through JS.

randcom. Random images from the Flickr Commons, iPhone app with Rails server.

scrapeandbake. Proxy Heap with Web Crawler

Meetup-Test. An exercise in Rails 3.

cyrus. ruby gem exercise

configs. Vim Script

coffee. node exercise

erlangcredit. erlang exercise

firehydrant. A higher level API for Firebase