• The internet needs another blog.

    CSS 1 Updated Mar 29, 2014
  • High-density, terminal-based binary viewer for visual pattern matching.

    C 4 1 Updated Apr 25, 2017
  • Erlang library for multidimensional, integer-indexed BSP trees.

    Erlang 1 Updated Sep 20, 2011
  • Transparent high-performance caching of referentially transparent functions.

    1 Updated Jan 26, 2012
  • A simple, comprehensible, safe encryption library written in Rust

    4 Updated Jun 16, 2014
  • AST, parser, pretty-printer for Core Erlang source code.

    Haskell 14 6 Updated Aug 20, 2016
  • ddk-arm

    Forked from ddk/ddk-arm
    9 Updated Jun 21, 2013
  • ddk-fpga

    Forked from ddk/ddk-fpga

    FPGA HDL Sources

    Verilog 13 Updated Jun 21, 2013
  • Just to make it easier syncing across machines

    Python Updated Jun 26, 2014
  • Attempt at DSL rapid prototyping with OMetaJS.

    C 2 Updated May 7, 2012
  • Boilerplate templates for common Erlang OTP behaviors.

    JavaScript 12 3 Updated Mar 4, 2011
  • Expose Events and Metrics via HTTP and JSON

    Erlang 2 149 Updated May 19, 2011
  • Webmachine HTTP+JSON export of folsom statistics, split from original folsom repo

    Erlang 5 2 Updated Apr 29, 2011
  • Generic operations on Erlang data types.

    9 1 Updated Nov 3, 2011
  • Generate some Big Data for people to analyze.

    Shell Updated Mar 29, 2017
  • Solving a HMM-like puzzle with genetic programming.

    Haskell 2 1 Updated Dec 23, 2010
  • Utilities for expressive functional programming on the Erlang VM.

    Erlang 16 2 Updated Jan 26, 2012
  • A showcase and test of literate programming, while writing an OpenGL program for a course project.

    1 Updated Aug 28, 2010
  • Experimental

    Erlang 1 1 Updated Jul 7, 2011
  • Nmap service discovery spoofer

    Erlang Updated Mar 11, 2014
  • Inject a DLL with a Python interpreter into a process, then use pure Python to access process functions and variables!

    Python 8 Updated Jun 5, 2010
  • Throwing SMT-LIB (Z3/CVC4) at everything, seeing what sticks.

    Python 1 Updated Mar 26, 2017
  • Interesting or educational bits of code.

    Haskell 1 Updated Dec 27, 2010
  • Haskell compiler/asm/dasm toolkit for DCPU16 architecture.

    Haskell 8 1 Updated Apr 15, 2012
  • Final project for a discrete structures and algorithms course. Fun to compare then and now, and it's pretty fast!

    C 1 Updated Jan 21, 2012
  • Haskell library for loading, and simultaneously normalizing/factoring flat featureless CSV tables.

    Haskell 1 Updated Sep 6, 2010
  • Conservative, misuse-resistant crypto in Erlang.

    C 5 1 Updated Apr 22, 2014
  • Haskell library for unpacking unaligned, bit-packed, polymorphic data with only partially known structure.

    Haskell 1 Updated Aug 28, 2010