Discover @batterseapower Open Source projects

Max Bolingbroke (@batterseapower)

batterseapower

Stars
628
Global Rank 47,322 (Top 2 %)
Followers 804
Following 23
Registered over 16 years ago
Most used languages

Haskell
71.7 %

Python
7.5 %

Java
5.7 %

Smalltalk
3.8 %

C++
1.9 %

PHP
1.9 %

Shell
1.9 %

Scala
1.9 %

Emacs Lisp
1.9 %

Ruby
1.9 %
Location 🇭🇰 Hong Kong
Country Total Rank 2,282
Country Ranking

Haskell
1

Smalltalk
2

Emacs Lisp
12

Scala
20

Ruby
42

Java
58

C++
71

Shell
128

PHP
190

Python
853

test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases

libcharsetdetect

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

parallel-io

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

ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

btreemap

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

edit-distance

Edit distance library for Haskell

chsc

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

lattices

Fine-grained lattice primitives for Haskell

openshake

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

ansi-terminal

Simple Haskell ANSI terminal support, with Windows compatibility

supercompilation-by-evaluation

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

haskell-kata

形: exercises in mind-bending Haskell

machine-learning

Machine learning library for Haskell

charsetdetect

Character set detection for Haskell

pegs

Program Expression Graphs for Equality Saturation

hswf

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

concurrency-test

Exhaustive and random testing for finding race conditions and deadlocks in Haskell code

productive-compiler

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

cjk

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

cps-core

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

timeseries-compression

Preconditioning for timeseries data to improve compression

temporary

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

graph-wrapper

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

context-semantics

Simple Haskell model of context semantics

gitit-plugins

My plugins for the Haskell wiki platform Gitit

termination-combinators

Termination combinators for forcing non-terminating algorithms to terminate

boardlog

Whiteboard logging webapplication written using Merb

anki-plugins

Plugins for the Anki Spaced Repetition System

scripts

Miscellaneous scripts shared between my computers

haskell-call-graph

Call graph tool for use with the Cambridge Haskell Supercompiler

core-haskell

Call-by-need evaluator in trace style

halifax-import

Halifax statement conversion into QIF and Ledger formats

access-time

Cross-platform support for retrieving file access times in Haskell

mini-ghc

Small implementation of a Haskell-like language for experimentation purposes

batterseapower.github.com

hashtables

A variety of hashtables for Haskell

unroll-plugin

Loop unrolling plugin for the Glasgow Haskell Compiler

core-metaml

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

dual-calculus

An implementation of the dual calculus in Haskell

hostname

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

core-ml

Reducer for the core of a ML-like language

mdbi

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

outside-in

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

demand-analysis

A demand analyser, based on "Stricterness More Relevant"

HMinCaml

Old Haskell MinCaml implementation from my undergraduate days

cps-core.old

Playing around with a simple Core language with explicit continuations

cjklib

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

emacs

Shared Emacs configuration

prefix-search

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

jna-watch-service

Similar to java.nio.file.WatchService but uses JNA to call inotify directly

cl-website

Cambridge Computer Lab website source

cfd-processing

Scripts for fixing up Asherah's CFD results

btree

Just some experiments with data structures for external memory

personal-gitit

Configuration for personal gitit wiki

cprg-gitit

CPRG gitit wiki configuration, templates and plugins