Discover batterseapower/lattices Open Source project

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 14 years ago
Updated over 6 years ago

batterseapower

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

Fine-grained lattice primitives for Haskell

test-framework

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

Haskell

libcharsetdetect

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

C++

parallel-io

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

Haskell

ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

Haskell

btreemap

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

Java

edit-distance

Edit distance library for Haskell

Haskell

chsc

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

Haskell

openshake

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

Haskell

ansi-terminal

Simple Haskell ANSI terminal support, with Windows compatibility

Haskell

supercompilation-by-evaluation

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

Haskell

haskell-kata

形: exercises in mind-bending Haskell

Haskell

machine-learning

Machine learning library for Haskell

Haskell

charsetdetect

Character set detection for Haskell

Haskell

pegs

Program Expression Graphs for Equality Saturation

Haskell

hswf

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

Haskell

concurrency-test

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

Haskell

productive-compiler

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

Haskell

cjk

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

Haskell

cps-core

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

Haskell

timeseries-compression

Preconditioning for timeseries data to improve compression

Java

temporary

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

Haskell

graph-wrapper

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

Haskell

context-semantics

Simple Haskell model of context semantics

Haskell

gitit-plugins

My plugins for the Haskell wiki platform Gitit

Haskell

termination-combinators

Termination combinators for forcing non-terminating algorithms to terminate

Haskell

boardlog

Whiteboard logging webapplication written using Merb

Ruby

anki-plugins

Plugins for the Anki Spaced Repetition System

Python

scripts

Miscellaneous scripts shared between my computers

Shell

haskell-call-graph

Call graph tool for use with the Cambridge Haskell Supercompiler

Haskell

core-haskell

Call-by-need evaluator in trace style

Haskell

halifax-import

Halifax statement conversion into QIF and Ledger formats

Haskell

access-time

Cross-platform support for retrieving file access times in Haskell

Haskell

mini-ghc

Small implementation of a Haskell-like language for experimentation purposes

Haskell

batterseapower.github.com

GitHub Pages

hashtables

A variety of hashtables for Haskell

Haskell

unroll-plugin

Loop unrolling plugin for the Glasgow Haskell Compiler

Haskell

core-metaml

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

Haskell

dual-calculus

An implementation of the dual calculus in Haskell

Haskell

hostname

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

Haskell

core-ml

Reducer for the core of a ML-like language

Haskell

mdbi

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

Java

outside-in

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

Haskell

demand-analysis

A demand analyser, based on "Stricterness More Relevant"

Haskell

HMinCaml

Old Haskell MinCaml implementation from my undergraduate days

Haskell

cps-core.old

Playing around with a simple Core language with explicit continuations

Haskell

cjklib

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

Python

emacs

Shared Emacs configuration

Emacs Lisp

prefix-search

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

PHP

jna-watch-service

Scala

cl-website

Cambridge Computer Lab website source

cfd-processing

Scripts for fixing up Asherah's CFD results

Python

btree

Just some experiments with data structures for external memory

Python

personal-gitit

Configuration for personal gitit wiki

Smalltalk

cprg-gitit

CPRG gitit wiki configuration, templates and plugins

Smalltalk

batterseapower/lattices

batterseapower

Reviews

Repository Details

More Repositories