Discover puffnfresh/nix-files Open Source project

Serious functional programming library for JavaScript.

834

bilby.js

Tiny tool to toggle window shadows on OS X

591

toggle-osx-shadows

413

Honer.app

OS X application to draw a border around the focused window

Objective-C

285

iridium

xmonad with the X11 abstracted and configured with Idris

JS AST rewriter for tail call elimination

201

brushtail

Collection of "wat" moments in various languages

133

node-webgl

WebGL addon for node.js

C++

106

wat-collection

PHP

sonic2

Sonic the Hedgehog 2 in Haskell

A CGI adaptor for node.js

node-cgi

Generate GraphViz graphs by interpretting free monads.

free-graphs

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

game-of-comonads.js

Rewrite rules for JavaScript.

rephrase

Demo of the Heroku Haskell Buildpack

haskell-buildpack-demo

Static blog generator in Idris.

bam-idris-blog

tryidris

Try Idris

Using QuickCheck to test functions in other languages/environments.

crosscheck

License your GitHub repository in seconds

licentious

A tiny 32 bit kernel written in ATS

atsboot

Assembly

eta-android

Quick example of Eta on Android

Java

language-scala

Pretty printer of Scala

leftpad.hs

Verified left pad

Haskell implementation of C4 model, for specifying software architecture

c4-model

Nix

haskell-jwt

JSON Web Token (JWT) decoding and encoding

Simplify and render Template Haskell

th-pprint

Overloaded operators for Fantasy Land compatible JavaScript.

Compositional, streaming I/O library (unfinished)

purescript-streams

Code from my StrangeLoop 2014 Idris presentation.

stl-idris

ray

Roy plugin for Play 2.0

Arbitrary commands as remote Nix stores

nix-command-store-plugin

C++

game-of-comonads

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

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

linuxkit-builder

Nix

type-search

Hoogle's core type search algorithm, as a library

Better Scala for-comprehensions using paradise's annotation macros

scrappy

Compression used in Sonic the Hedgehog

kosinski

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

crab-emacs

Emacs Lisp

purescript-webrtc

PureScript WebRTC bindings

Sets an engine independent toString on Functions

confining-strut

Small Haskell to JVM compiler

blimp

Scripts for working with Nix via a chroot on ChromeOS.

nix-chromeos

Shell

idris-partiality

The partiality monad in Idris.

Edit stdin using an editor before sending to stdout.

editpipe

Simple OS X application to trigger the play/pause key

osxplaypause

Objective-C

totality

A total functional language embedded in Scala using macros.

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

crab-chrome

Palettes for Sega Mega Drive (and Genesis)

megadrive-palette

Experiment in generating a functional Java library from Haskell

lam

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

type-algebra

Dump close_write inotify events onto an AMQP queue.

amqp-pathwatcher

Functions for working with concurrency within the scalaz IO type.

scalaz-concurrent-io

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

macgiffer

Objective-C

emu.js

Simple JavaScript documentation generator.

Vagrant project for deploying Haskell to Heroku

vagrant-haskell-heroku

Ruby

idris-workshop

Small collection of Idris exercises

Implemenation of a Self-Organising Map using Python

awsom

Python

bounded-array

Arrays with a value for every index

Haskell for the Novation Launchpad

novation-launchpad

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

halves

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

buzzbee

Reaktor Hands On: Pure Functional Programming in Plain JavaScript

reaktor-hands-on

GTK-based terminal emulator configured using Haskell

puffyterm

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

lastresort

Code developed during the PureScript Tutorial at CUFP 2015

cufp-2015-tutorial-purescript

Semigroups for instances of the functor hierarchy.

purescript-functor-semigroups

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

epever

Hindley-Milner using the Mozilla Parser API.

eshindleymilner

roku-api

Bindings to Roku's External Control API

Extend the Cloud9 editor with a client-side script.

cloud9-userscript

stack-nix

A small S-expression to JVM bytecode compiler.

scalispa

Projects from the Haskell Hangouts

haskell-hangouts

cufp-2016-purescript

A Hacker News client for Chumby.

hnchumby

ActionScript

scander

Single file PHP remote administration

PHP

yesod-buildpack-demo

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

stunning-octo-happiness

HTML5 slideshow demo with BigText.

bigtext-slideshow

folds4s

ProfunctorBot

puffnfresh-ghc-plugin-lens

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

strip18

crypto-keys-ssh

Parse SSH keys

Easily send encrypted messages to GitHub users.

rsahub

Useful functions from Prelude, or reimplemented from base

papa-prelude-core

Structure and Interpretation of Computer Programs Exercises (in Scheme)

sicp-exercises

Scheme

word4

Provides Word4, half a Word8

kiks-scilab

Port of KiKS to SciLab

prelim-monoid

Monoid

eta-midi-player

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

git-log-impact