Discover @A1kmm Open Source projects

Andrew Miller (@A1kmm)

A1kmm

Stars
272
Global Rank 96,417 (Top 4 %)
Followers 28
Following 15
Registered almost 16 years ago
Most used languages

Haskell
57.1 %

Shell
14.3 %

C++
11.4 %

C
5.7 %

Idris 2.9 %

Ruby
2.9 %

JavaScript
2.9 %

Erlang
2.9 %
Location 🇦🇺 Australia
Country Total Rank 1,636
Country Ranking

Idris 5

Haskell
19

Erlang
54

C
465

Shell
547

Ruby
814

C++
837

JavaScript
7,486

proofsweeper

Play Minesweeper by formally proving your moves in Idris

hs-bcrypt

Haskell bindings for bcrypt

http4idris

An experimental HTTP framework for Idris

sbml2cellml

A program for converting from SBML to CellML

enable-unsigned-firefox-addons

Enable Unsigned Firefox Addons

happindicator

Haskell bindings for libappindicator

cellml-testbed

A test implementation of draft versions of CellML 1.2

cellml-core-spec

CellML Core Specification Draft Development

cgrspy

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

modml-core

The core of the ModML functional mathematical modelling language

fieldml-notes

modml-reactions

ModML Module for (bio)chemical reactions

bindings-eskit

Haskell bindings for the ESKit evolutionary optimiser

libzinc

My mirror of the libzinc Subversion repository

test-reactions-model

ModML model of hydrogen burning in oxygen

monadio-unwrappable

Reversibly allow monad transformer stacks to run in IO

uncertml_to_physiome

UncertML to Physiome formats converter

cellml-dae-events-secondary

CellML Secondary specification for systems differential-algebraic equations

basetram

Bayesian Search for Transcription factor Motifs

motocse

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

suvetma

Support Vector Tools for Microarray Analysis

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)

tfnetbuilder

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

fieldml-uncertainty

Unofficial draft specification on how to describe uncertain parameters in FieldML

cellml-uncertainty

Unofficial draft specification on how to describe uncertain parameters in CellML

modml-physicalconstants

Physical constants module for ModML

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

modml-solver

DAE Solver for ModML models

sbasetram

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

xmonad-config-a1kmm

A1kmm's XMonad configuration, featuring togglable minimised windows

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

foreign-storable-asymmetric

Types and instances for implementing a Storable with different peek and poke

modml-units

ModML module for DAEs with unit checking

fay-ref

Like IORef but for Fay

declarative-fieldml-prototype

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

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