batterseapower/batterseapower.github.com batterseapower/batterseapower.github.com

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • Created over 15 years ago
  • Updated over 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
batterseapower/batterseapower.github.com
github

batterseapower

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GitHub Pages

More Repositories

1

test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases
Haskell
83
star
2

libcharsetdetect

A dependency-free C interface to the Mozilla Universal Character Set Detector
C++
67
star
3

parallel-io

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

ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output
Haskell
30
star
5

btreemap

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

edit-distance

Edit distance library for Haskell
Haskell
27
star
7

chsc

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

lattices

Fine-grained lattice primitives for Haskell
Haskell
18
star
9

openshake

An open source reimplementation of Neil Mitchell's Shake build system
Haskell
18
star
10

ansi-terminal

Simple Haskell ANSI terminal support, with Windows compatibility
Haskell
16
star
11

supercompilation-by-evaluation

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

haskell-kata

ε½’: exercises in mind-bending Haskell
Haskell
14
star
13

machine-learning

Machine learning library for Haskell
Haskell
14
star
14

charsetdetect

Character set detection for Haskell
Haskell
12
star
15

pegs

Program Expression Graphs for Equality Saturation
Haskell
12
star
16

hswf

A library for SWF reading and writing, aiming for byte-for-byte roundtripping support
Haskell
7
star
17

concurrency-test

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

productive-compiler

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

cjk

Data about Chinese, Japanese and Korean characters and languages for Haskell
Haskell
6
star
20

cps-core

A core language that is both simpler and more expressive than GHC Core
Haskell
6
star
21

timeseries-compression

Preconditioning for timeseries data to improve compression
Java
6
star
22

temporary

Portable temporary file and directory support for Windows and Unix, based on code from Cabal
Haskell
6
star
23

graph-wrapper

A wrapper around the standard Data.Graph with a less awkward interface
Haskell
5
star
24

context-semantics

Simple Haskell model of context semantics
Haskell
5
star
25

gitit-plugins

My plugins for the Haskell wiki platform Gitit
Haskell
5
star
26

termination-combinators

Termination combinators for forcing non-terminating algorithms to terminate
Haskell
5
star
27

boardlog

Whiteboard logging webapplication written using Merb
Ruby
5
star
28

anki-plugins

Plugins for the Anki Spaced Repetition System
Python
4
star
29

scripts

Miscellaneous scripts shared between my computers
Shell
4
star
30

haskell-call-graph

Call graph tool for use with the Cambridge Haskell Supercompiler
Haskell
4
star
31

core-haskell

Call-by-need evaluator in trace style
Haskell
4
star
32

halifax-import

Halifax statement conversion into QIF and Ledger formats
Haskell
4
star
33

access-time

Cross-platform support for retrieving file access times in Haskell
Haskell
4
star
34

mini-ghc

Small implementation of a Haskell-like language for experimentation purposes
Haskell
3
star
35

hashtables

A variety of hashtables for Haskell
Haskell
3
star
36

unroll-plugin

Loop unrolling plugin for the Glasgow Haskell Compiler
Haskell
3
star
37

core-metaml

An implementation of the AIM language from An Idealized MetaML (Moggi et al.)
Haskell
3
star
38

dual-calculus

An implementation of the dual calculus in Haskell
Haskell
3
star
39

hostname

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

core-ml

Reducer for the core of a ML-like language
Haskell
2
star
41

mdbi

Max's DataBase Interface: a simple but powerful JDBC wrapper inspired by JDBI
Java
2
star
42

outside-in

Implementation of Outside-In(Type equalities + type families + type classes)
Haskell
2
star
43

demand-analysis

A demand analyser, based on "Stricterness More Relevant"
Haskell
2
star
44

HMinCaml

Old Haskell MinCaml implementation from my undergraduate days
Haskell
2
star
45

cps-core.old

Playing around with a simple Core language with explicit continuations
Haskell
2
star
46

cjklib

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

emacs

Shared Emacs configuration
Emacs Lisp
2
star
48

prefix-search

Very simple prefix-search web application for a more usable Firefox search bar
PHP
2
star
49

jna-watch-service

Similar to java.nio.file.WatchService but uses JNA to call inotify directly
Scala
2
star
50

cl-website

Cambridge Computer Lab website source
1
star
51

cfd-processing

Scripts for fixing up Asherah's CFD results
Python
1
star
52

btree

Just some experiments with data structures for external memory
Python
1
star
53

personal-gitit

Configuration for personal gitit wiki
Smalltalk
1
star
54

cprg-gitit

CPRG gitit wiki configuration, templates and plugins
Smalltalk
1
star