puffnfresh/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
puffnfresh
Discovered public repositories for puffnfresh in the GitHub catalog.
puffnfresh/false
A JavaScript port of the Unix utility 'false'. Returns the Boolean value `false`
puffnfresh/resume.github.com
Resumes generated using the GitHub informations
puffnfresh/purescript
A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks
puffnfresh/Honer.app
OS X application to draw a border around the focused window
puffnfresh/game-of-comonads.js
Pure and comonadic Game of Life in Fantasy Land compatible JavaScript
puffnfresh/enumerate-functions
Serialize functions by enumerating their domains.
puffnfresh/eshindleymilner
Hindley-Milner using the Mozilla Parser API.
puffnfresh/game-of-comonads
Game of Life written using a Comonadic grid/board and Ncurses.
puffnfresh/crab-emacs
Emacs minor mode to use Emacs as a Crab remote browsing server.
puffnfresh/crab-chrome
Chrome Extension to allow Chrome as a Crab remote browsing client.
puffnfresh/rephrase
Rewrite rules for JavaScript.
puffnfresh/fo
Overloaded operators for Fantasy Land compatible JavaScript.
puffnfresh/haskell-hangouts
Projects from the Haskell Hangouts
puffnfresh/BODOL
The common BODil Oriented Language
puffnfresh/confining-strut
Sets an engine independent toString on Functions
puffnfresh/osxplaypause
Simple OS X application to trigger the play/pause key
puffnfresh/strip18
A programming language REPL as a game. Entry into PLT Games March 2013 ("Game on")
puffnfresh/wat-collection
Collection of "wat" moments in various languages
puffnfresh/projectile
Project Interaction Library for Emacs
puffnfresh/totality
A total functional language embedded in Scala using macros.
puffnfresh/blimp
Small Haskell to JVM compiler
puffnfresh/altjs
altJS website
puffnfresh/test
Do not clone
puffnfresh/brushtail
JS AST rewriter for tail call elimination
puffnfresh/lastresort
Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").
puffnfresh/utfhate
2D and Unicode version of Brainf*ck for PLT Games December 2012
puffnfresh/licentious
License your GitHub repository in seconds
puffnfresh/toggle-osx-shadows
Tiny tool to toggle window shadows on OS X
puffnfresh/yesod-buildpack-demo
Demo of a Yesod application deployed to Heroku using the Haskell Buildpack
puffnfresh/yesodweb.com-content
Content for the www.yesodweb.com site
puffnfresh/osxmonad
Tiling window manager for Mac OS X.
puffnfresh/haskell-buildpack-demo
Demo of the Heroku Haskell Buildpack
puffnfresh/heroku-buildpack-haskell
Heroku buildpack for Haskell
puffnfresh/emu.js
Simple JavaScript documentation generator.
puffnfresh/reaktor-hands-on
Reaktor Hands On: Pure Functional Programming in Plain JavaScript
puffnfresh/status
Status updates for my projects.
puffnfresh/bilby.js
Serious functional programming library for JavaScript.
puffnfresh/monad-trans-scalasyd
Monad transformers presentation for ScalaSyd
puffnfresh/fay
A strict subset of Haskell that compiles to JavaScript
puffnfresh/scalaz
An extension to the core scala library.
puffnfresh/vagrant-haskell-heroku
Vagrant project for deploying Haskell to Heroku
puffnfresh/ray
Roy plugin for Play 2.0
puffnfresh/bigtext-slideshow
HTML5 slideshow demo with BigText.
puffnfresh/scalispa
A small S-expression to JVM bytecode compiler.
puffnfresh/jison
Bison in JavaScript.
puffnfresh/repl.it
Online REPL for 15+ languages.
puffnfresh/roy
Small functional language that compiles to JavaScript.
puffnfresh/cloud9-userscript
Extend the Cloud9 editor with a client-side script.
puffnfresh/jreversepro
JReversePro Java Decompiler