Andrew Miller

proofsweeper. Play Minesweeper by formally proving your moves in Idris

hs-bcrypt. Haskell bindings for bcrypt

http4idris. An experimental HTTP framework for Idris

enable-unsigned-firefox-addons. Enable Unsigned Firefox Addons

sbml2cellml. A program for converting from SBML to CellML

happindicator. Haskell bindings for libappindicator

cellml-testbed. A test implementation of draft versions of CellML 1.2

cgrspy. Python bindings for the CellML API based on top of the CellML Generics and Reflection Service (CGRS)

cellml-core-spec. CellML Core Specification Draft Development

tfnetbuilder. A set of utilities for building and perturbing gene regulatory networks of transcriptional regulation

cellml_meta_1_1. This repository tracks the development of the CellML Metadata 1.1 draft specification

test-reactions-model. ModML model of hydrogen burning in oxygen

libzinc. My mirror of the libzinc Subversion repository

bindings-eskit. Haskell bindings for the ESKit evolutionary optimiser

fieldml-notes. fieldml-notes

modml-reactions. ModML Module for (bio)chemical reactions

suvetma. Support Vector Tools for Microarray Analysis

motocse. Motif Tool Comparison Suite - for comparing the results of different transcription factor identification programs

modml-core. The core of the ModML functional mathematical modelling language

basetram. Bayesian Search for Transcription factor Motifs

soft2matrix. Tools to convert from NCBI's SOFT format (used for GEO data) to a binary format, and work with this data

network-netpacket. Haskell bindings for low-level packet sockets (AF_PACKET)

cellml-uncertainty. Unofficial draft specification on how to describe uncertain parameters in CellML

cellml-dae-events-secondary. CellML Secondary specification for systems differential-algebraic equations

uncertml_to_physiome. UncertML to Physiome formats converter

monadio-unwrappable. Reversibly allow monad transformer stacks to run in IO

fieldml-uncertainty. Unofficial draft specification on how to describe uncertain parameters in FieldML

modml-physicalconstants. Physical constants module for ModML

modml-units. ModML module for DAEs with unit checking

donttrackem. Suppress ad network tracking of users who visit your site

webgl_pca. A browser-based viewer for visualising the mode-based variation of spatial models

foreign-storable-asymmetric. Types and instances for implementing a Storable with different peek and poke

cellml-uncertainty-secondary. A draft CellML 1.2 secondary specification for representing parameter uncertainty

network-interfacerequest. Haskell bindings for the ifreq structure used to query network status using ioctl

sbasetram. A Haskell based implementation of the Bayesian Search for Transcriptional Motifs, for searching short synthetic probes.

modml-solver. DAE Solver for ModML models

declarative-fieldml-prototype. A prototype for trying out ideas around a declarative FieldML with advanced features

xmonad-config-a1kmm. A1kmm's XMonad configuration, featuring togglable minimised windows

ejabber-guest. ejabberd module to allow any user to log in as guest-* and talk to a predefined set of local users and see their presence

fay-ref. Like IORef but for Fay

mongoDB-haskell. MongoDB driver for Haskell