A1kmm/fieldml-notes

Stars
2
Language
Created over 12 years ago
Updated over 12 years ago

A1kmm/fieldml-notes

A1kmm

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

fieldml-notes

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

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