gridaphobe/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Developer Profile
gridaphobe
Discovered public repositories for gridaphobe in the GitHub catalog.
gridaphobe/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
gridaphobe/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
gridaphobe/liquidhaskell
Liquid Types For Haskell
gridaphobe/dotfiles
Public repository.
gridaphobe/fa12-schemec
A CPS Scheme Compiler
gridaphobe/loveme.do-chrome
Chrome extension for the Fluidinfo object browser
gridaphobe/gridaphobe.github.com
A listing of my open source efforts.
gridaphobe/loveme.do-safari
Public repository.
gridaphobe/pandoc
Universal markup converter
gridaphobe/obrowser-firefox-extension
Public repository.
gridaphobe/objc-client
Objective-C client library for Fluidinfo
gridaphobe/lastpage-safari
A Safari extension for saving your current URL, for use with http://lastpage.me
gridaphobe/lastpage-chrome
Public repository.
gridaphobe/abouttag
Normalized about tag format for FluidDB
gridaphobe/fluid-cv
An open, social CV built on top of Fluidinfo
gridaphobe/fluidinfo.py
A very thin wrapper on top of the Fluidinfo RESTful API (formerly fluiddb.py)
gridaphobe/typhoeus
Like a modern code version of the mythical beast with 100 serpent heads, Typhoeus runs HTTP requests in parallel while cleanly encapsulating handling logic.
gridaphobe/fluidinfo.rb
Fluidinfo in Ruby!
gridaphobe/rest-client
Simple HTTP and REST client for Ruby, inspired by microframework syntax for specifying actions.
gridaphobe/blog
My Personal Website
gridaphobe/pyGravatar
A python module for interacting with Gravatar
gridaphobe/CRL
The Component Retrieval Language: Simplifying Complex Software Assembly
gridaphobe/homebrew
The missing package manager for OS X.