Andrew Miller (@A1kmm)

Top repositories

1

proofsweeper

Play Minesweeper by formally proving your moves in Idris
Haskell
166
star
2

hs-bcrypt

Haskell bindings for bcrypt
C
16
star
3

http4idris

An experimental HTTP framework for Idris
Idris
14
star
4

sbml2cellml

A program for converting from SBML to CellML
Ruby
5
star
5

enable-unsigned-firefox-addons

Enable Unsigned Firefox Addons
Shell
5
star
6

happindicator

Haskell bindings for libappindicator
Haskell
4
star
7

cellml-testbed

A test implementation of draft versions of CellML 1.2
Haskell
4
star
8

cellml-core-spec

CellML Core Specification Draft Development
3
star
9

cgrspy

Python bindings for the CellML API based on top of the CellML Generics and Reflection Service (CGRS)
C++
3
star
10

modml-core

The core of the ModML functional mathematical modelling language
Haskell
2
star
11

fieldml-notes

fieldml-notes
2
star
12

modml-reactions

ModML Module for (bio)chemical reactions
Haskell
2
star
13

bindings-eskit

Haskell bindings for the ESKit evolutionary optimiser
Haskell
2
star
14

libzinc

My mirror of the libzinc Subversion repository
C++
2
star
15

test-reactions-model

ModML model of hydrogen burning in oxygen
Haskell
2
star
16

monadio-unwrappable

Reversibly allow monad transformer stacks to run in IO
Haskell
2
star
17

uncertml_to_physiome

UncertML to Physiome formats converter
Haskell
2
star
18

cellml-dae-events-secondary

CellML Secondary specification for systems differential-algebraic equations
Shell
2
star
19

basetram

Bayesian Search for Transcription factor Motifs
C++
2
star
20

motocse

Motif Tool Comparison Suite - for comparing the results of different transcription factor identification programs
Haskell
2
star
21

suvetma

Support Vector Tools for Microarray Analysis
2
star
22

soft2matrix

Tools to convert from NCBI's SOFT format (used for GEO data) to a binary format, and work with this data
C++
2
star
23

network-netpacket

Haskell bindings for low-level packet sockets (AF_PACKET)
Haskell
2
star
24

tfnetbuilder

A set of utilities for building and perturbing gene regulatory networks of transcriptional regulation
2
star
25

fieldml-uncertainty

Unofficial draft specification on how to describe uncertain parameters in FieldML
Shell
2
star
26

cellml-uncertainty

Unofficial draft specification on how to describe uncertain parameters in CellML
Shell
2
star
27

modml-physicalconstants

Physical constants module for ModML
Haskell
1
star
28

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
Erlang
1
star
29

modml-solver

DAE Solver for ModML models
C
1
star
30

sbasetram

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

xmonad-config-a1kmm

A1kmm's XMonad configuration, featuring togglable minimised windows
Haskell
1
star
32

cellml-uncertainty-secondary

A draft CellML 1.2 secondary specification for representing parameter uncertainty
Shell
1
star
33

network-interfacerequest

Haskell bindings for the ifreq structure used to query network status using ioctl
Haskell
1
star
34

foreign-storable-asymmetric

Types and instances for implementing a Storable with different peek and poke
Haskell
1
star
35

modml-units

ModML module for DAEs with unit checking
Haskell
1
star
36

fay-ref

Like IORef but for Fay
Haskell
1
star
37

declarative-fieldml-prototype

A prototype for trying out ideas around a declarative FieldML with advanced features
Haskell
1
star
38

donttrackem

Suppress ad network tracking of users who visit your site
JavaScript
1
star
39

webgl_pca

A browser-based viewer for visualising the mode-based variation of spatial models
Haskell
1
star