Discover @puffnfresh Open Source projects

Brian McKenna (@puffnfresh)

puffnfresh

Stars
3,873
Global Rank 7,334 (Top 0.3 %)
Followers 1,237
Following 94
Registered almost 16 years ago
Most used languages

Haskell
41.6 %

JavaScript
19.1 %

PureScript 5.6 %

Idris 5.6 %

Scala
5.6 %

Nix
4.5 %

Objective-C
3.4 %

C++
2.2 %

PHP
2.2 %

Scheme
1.1 %

C
1.1 %

Ruby
1.1 %

Java
1.1 %

Assembly
1.1 %

Shell
1.1 %

Emacs Lisp
1.1 %

Python
1.1 %

ActionScript 1.1 %
Location 🇦🇺 Australia
Country Total Rank 126
Country Ranking

Idris 1

Nix
2

PureScript 6

Haskell
8

Assembly
20

Scheme
30

ActionScript 39

Objective-C
41

Emacs Lisp
45

C
49

Scala
49

JavaScript
59

PHP
161

C++
169

Java
368

Shell
747

Ruby
817

Python
3,710

roy

Small functional language that compiles to JavaScript.

bilby.js

Serious functional programming library for JavaScript.

toggle-osx-shadows

Tiny tool to toggle window shadows on OS X

Honer.app

OS X application to draw a border around the focused window

iridium

xmonad with the X11 abstracted and configured with Idris

nix-files

My NixOS configuration and custom Nix derivations.

brushtail

JS AST rewriter for tail call elimination

node-webgl

WebGL addon for node.js

wat-collection

Collection of "wat" moments in various languages

sonic2

Sonic the Hedgehog 2 in Haskell

node-cgi

A CGI adaptor for node.js

free-graphs

Generate GraphViz graphs by interpretting free monads.

game-of-comonads.js

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

rephrase

Rewrite rules for JavaScript.

haskell-buildpack-demo

Demo of the Heroku Haskell Buildpack

bam-idris-blog

Static blog generator in Idris.

tryidris

crosscheck

Using QuickCheck to test functions in other languages/environments.

licentious

License your GitHub repository in seconds

atsboot

A tiny 32 bit kernel written in ATS

eta-android

Quick example of Eta on Android

language-scala

Pretty printer of Scala

leftpad.hs

Verified left pad

c4-model

Haskell implementation of C4 model, for specifying software architecture

haskell-jwt

JSON Web Token (JWT) decoding and encoding

th-pprint

Simplify and render Template Haskell

fo

Overloaded operators for Fantasy Land compatible JavaScript.

purescript-streams

Compositional, streaming I/O library (unfinished)

stl-idris

Code from my StrangeLoop 2014 Idris presentation.

ray

Roy plugin for Play 2.0

nix-command-store-plugin

Arbitrary commands as remote Nix stores

game-of-comonads

Game of Life written using a Comonadic grid/board and Ncurses.

linuxkit-builder

See newer work at https://github.com/nix-community/linuxkit-builder

type-search

Hoogle's core type search algorithm, as a library

scrappy

Better Scala for-comprehensions using paradise's annotation macros

kosinski

Compression used in Sonic the Hedgehog

crab-emacs

Emacs minor mode to use Emacs as a Crab remote browsing server.

purescript-webrtc

PureScript WebRTC bindings

confining-strut

Sets an engine independent toString on Functions

blimp

Small Haskell to JVM compiler

nix-chromeos

Scripts for working with Nix via a chroot on ChromeOS.

idris-partiality

The partiality monad in Idris.

editpipe

Edit stdin using an editor before sending to stdout.

osxplaypause

Simple OS X application to trigger the play/pause key

lam

Experiment in generating a functional Java library from Haskell

totality

A total functional language embedded in Scala using macros.

crab-chrome

Chrome Extension to allow Chrome as a Crab remote browsing client.

amqp-pathwatcher

Dump close_write inotify events onto an AMQP queue.

megadrive-palette

Palettes for Sega Mega Drive (and Genesis)

type-algebra

Haskell library for operations on type algebra, e.g. inhabitant counting

scalaz-concurrent-io

Functions for working with concurrency within the scalaz IO type.

macgiffer

OS X screencast as a GIF, using just a paperclip and a sock.

emu.js

Simple JavaScript documentation generator.

vagrant-haskell-heroku

Vagrant project for deploying Haskell to Heroku

idris-workshop

Small collection of Idris exercises

awsom

Implemenation of a Self-Organising Map using Python

bounded-array

Arrays with a value for every index

novation-launchpad

Haskell for the Novation Launchpad

buzzbee

jQuery plugin and web service to embed Google Buzz in your website

puffyterm

GTK-based terminal emulator configured using Haskell

reaktor-hands-on

Reaktor Hands On: Pure Functional Programming in Plain JavaScript

wasm-encoder

Haskell low-level WebAssembly encoder

halves

Splitting/combining data structures to/from halves, quarters, eighths

cufp-2015-tutorial-purescript

Code developed during the PureScript Tutorial at CUFP 2015

lastresort

Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").

purescript-functor-semigroups

Semigroups for instances of the functor hierarchy.

epever

Communicating to a Epever/Epsolar Tracer A series charge controller via Modbus

eshindleymilner

Hindley-Milner using the Mozilla Parser API.

roku-api

Bindings to Roku's External Control API

cloud9-userscript

Extend the Cloud9 editor with a client-side script.

stack-nix

scalispa

A small S-expression to JVM bytecode compiler.

haskell-hangouts

Projects from the Haskell Hangouts

cufp-2016-purescript

hnchumby

A Hacker News client for Chumby.

scander

Single file PHP remote administration

yesod-buildpack-demo

Demo of a Yesod application deployed to Heroku using the Haskell Buildpack

stunning-octo-happiness

bigtext-slideshow

HTML5 slideshow demo with BigText.

folds4s

Beautiful Folding

ProfunctorBot

LambdaBot on Twitch

puffnfresh-ghc-plugin-lens

crypto-keys-ssh

strip18

A programming language REPL as a game. Entry into PLT Games March 2013 ("Game on")

rsahub

Easily send encrypted messages to GitHub users.

papa-prelude-core

Useful functions from Prelude, or reimplemented from base

git-log-impact

Shows a chart of lines added to a repository (as recorded by git log)

sicp-exercises

Structure and Interpretation of Computer Programs Exercises (in Scheme)

word4

Provides Word4, half a Word8

kiks-scilab

Port of KiKS to SciLab

prelim-monoid

eta-midi-player

fiery-biscuits

An entry for PyWeek