San Francisco

Max Bolingbroke

Elite
@batterseapower

test-framework. Framework for running and organising QuickCheck test properties and HUnit test cases

83

libcharsetdetect. A dependency-free C interface to the Mozilla Universal Character Set Detector

66

parallel-io. Haskell combinators for executing IO actions in parallel on a thread pool

47

pinyin-toolkit. A plugin for the Anki Spaced Repetition System (http://ichi2.net/anki/)

39

ansi-wl-pprint. The Wadler/Leijen Pretty Printer for colored ANSI terminal output

31

btreemap. A simple and high-performance Java B-tree: drop-in replacement for java.util.TreeMap

30

edit-distance. Edit distance library for Haskell

27

chsc. The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"

24

lattices. Fine-grained lattice primitives for Haskell

18

openshake. An open source reimplementation of Neil Mitchell's Shake build system

18

supercompilation-by-evaluation. Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.

17

ansi-terminal. Simple Haskell ANSI terminal support, with Windows compatibility

16

machine-learning. Machine learning library for Haskell

14

haskell-kata. 形: exercises in mind-bending Haskell

14

charsetdetect. Character set detection for Haskell

14

pegs. Program Expression Graphs for Equality Saturation

12

concurrency-test. Exhaustive and random testing for finding race conditions and deadlocks in Haskell code

7

hswf. A library for SWF reading and writing, aiming for byte-for-byte roundtripping support

7

productive-compiler. A compiler that is not strict in the term it is compiling. Uses JIT compilation via LLVM

6

timeseries-compression. Preconditioning for timeseries data to improve compression

6

temporary. Portable temporary file and directory support for Windows and Unix, based on code from Cabal

6

cjk. Data about Chinese, Japanese and Korean characters and languages for Haskell

6

cps-core. A core language that is both simpler and more expressive than GHC Core

6

gitit-plugins. My plugins for the Haskell wiki platform Gitit

5

termination-combinators. Termination combinators for forcing non-terminating algorithms to terminate

5

boardlog. Whiteboard logging webapplication written using Merb

5

graph-wrapper. A wrapper around the standard Data.Graph with a less awkward interface

5

context-semantics. Simple Haskell model of context semantics

5

anki-plugins. Plugins for the Anki Spaced Repetition System

4

halifax-import. Halifax statement conversion into QIF and Ledger formats

4

core-haskell. Call-by-need evaluator in trace style

4

access-time. Cross-platform support for retrieving file access times in Haskell

4

scripts. Miscellaneous scripts shared between my computers

4

haskell-call-graph. Call graph tool for use with the Cambridge Haskell Supercompiler

4

core-metaml. An implementation of the AIM language from An Idealized MetaML (Moggi et al.)

3

dual-calculus. An implementation of the dual calculus in Haskell

3

batterseapower.github.com. GitHub Pages

3

haskell.tmbundle. TextMate support for Haskell

3

unroll-plugin. Loop unrolling plugin for the Glasgow Haskell Compiler

3

hostname. A very simple Haskell library with cross-platform support for getting the hostname

3

mini-ghc. Small implementation of a Haskell-like language for experimentation purposes

3

hashtables. A variety of hashtables for Haskell

3

outside-in. Implementation of Outside-In(Type equalities + type families + type classes)

2

containers. Haskell

2

jna-watch-service. Similar to java.nio.file.WatchService but uses JNA to call inotify directly

2

AckMate. TextMate plugin (Cocoa) shell for running 'ack'

2

demand-analysis. A demand analyser, based on "Stricterness More Relevant"

2

pretty. Haskell

2

cps-core.old. Playing around with a simple Core language with explicit continuations

2

HTTP. Haskell HTTP package

2

mdbi. Max's DataBase Interface: a simple but powerful JDBC wrapper inspired by JDBI

2

prefix-search. Very simple prefix-search web application for a more usable Firefox search bar

2

core-ml. Reducer for the core of a ML-like language

2

cjklib. A Git clone of the cjklib repository at http://cjklib.googlecode.com/svn/trunk/

2

ghc-syb. Scrap Your Boilerplate instances for GHC's data types

2

mineserver. Custom Minecraft Alpha server software written in C++ for Windows and Linux

1

gitit. A wiki using HAppS, pandoc, and git

1

cprg-gitit. CPRG gitit wiki configuration, templates and plugins

1
58
Apply