A1kmm/monadio-unwrappable

Stars
2
Language
Haskell
License
BSD 2-Clause "Sim...
Created over 12 years ago
Updated over 12 years ago

A1kmm/monadio-unwrappable

A1kmm

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

Reversibly allow monad transformer stacks to run in IO

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

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