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 XHoner.app
OS X application to draw a border around the focused windowiridium
xmonad with the X11 abstracted and configured with Idrisnix-files
My NixOS configuration and custom Nix derivations.brushtail
JS AST rewriter for tail call eliminationnode-webgl
WebGL addon for node.jswat-collection
Collection of "wat" moments in various languagessonic2
Sonic the Hedgehog 2 in Haskellnode-cgi
A CGI adaptor for node.jsfree-graphs
Generate GraphViz graphs by interpretting free monads.game-of-comonads.js
Pure and comonadic Game of Life in Fantasy Land compatible JavaScriptrephrase
Rewrite rules for JavaScript.haskell-buildpack-demo
Demo of the Heroku Haskell Buildpackbam-idris-blog
Static blog generator in Idris.tryidris
Try Idriscrosscheck
Using QuickCheck to test functions in other languages/environments.licentious
License your GitHub repository in secondsatsboot
A tiny 32 bit kernel written in ATSeta-android
Quick example of Eta on Androidlanguage-scala
Pretty printer of Scalaleftpad.hs
Verified left padc4-model
Haskell implementation of C4 model, for specifying software architecturehaskell-jwt
JSON Web Token (JWT) decoding and encodingth-pprint
Simplify and render Template Haskellfo
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.0nix-command-store-plugin
Arbitrary commands as remote Nix storesgame-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-buildertype-search
Hoogle's core type search algorithm, as a libraryscrappy
Better Scala for-comprehensions using paradise's annotation macroskosinski
Compression used in Sonic the Hedgehogcrab-emacs
Emacs minor mode to use Emacs as a Crab remote browsing server.purescript-webrtc
PureScript WebRTC bindingsconfining-strut
Sets an engine independent toString on Functionsblimp
Small Haskell to JVM compilernix-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 keylam
Experiment in generating a functional Java library from Haskelltotality
A total functional language embedded in Scala using macros.crab-chrome
Chrome Extension to allow Chrome as a Crab remote browsing client.megadrive-palette
Palettes for Sega Mega Drive (and Genesis)type-algebra
Haskell library for operations on type algebra, e.g. inhabitant countingamqp-pathwatcher
Dump close_write inotify events onto an AMQP queue.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 Herokuidris-workshop
Small collection of Idris exercisesawsom
Implemenation of a Self-Organising Map using Pythonbounded-array
Arrays with a value for every indexnovation-launchpad
Haskell for the Novation Launchpadbuzzbee
jQuery plugin and web service to embed Google Buzz in your websitepuffyterm
GTK-based terminal emulator configured using Haskellreaktor-hands-on
Reaktor Hands On: Pure Functional Programming in Plain JavaScriptwasm-encoder
Haskell low-level WebAssembly encoderhalves
Splitting/combining data structures to/from halves, quarters, eighthscufp-2015-tutorial-purescript
Code developed during the PureScript Tutorial at CUFP 2015lastresort
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 Modbuseshindleymilner
Hindley-Milner using the Mozilla Parser API.roku-api
Bindings to Roku's External Control APIcloud9-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 Hangoutscufp-2016-purescript
hnchumby
A Hacker News client for Chumby.scander
Single file PHP remote administrationyesod-buildpack-demo
Demo of a Yesod application deployed to Heroku using the Haskell Buildpackstunning-octo-happiness
bigtext-slideshow
HTML5 slideshow demo with BigText.folds4s
Beautiful FoldingProfunctorBot
LambdaBot on Twitchpuffnfresh-ghc-plugin-lens
crypto-keys-ssh
Parse SSH keysstrip18
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 basegit-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 Word8kiks-scilab
Port of KiKS to SciLabprelim-monoid
Monoideta-midi-player
fiery-biscuits
An entry for PyWeekLove Open Source and this site? Check out how you can help us