There are no reviews yet. Be the first to send feedback to the community and the maintainers!
proofsweeper
Play Minesweeper by formally proving your moves in Idris
hs-bcrypt
Haskell bindings for bcrypthttp4idris
An experimental HTTP framework for Idrissbml2cellml
A program for converting from SBML to CellMLenable-unsigned-firefox-addons
Enable Unsigned Firefox Addonshappindicator
Haskell bindings for libappindicatorcellml-testbed
A test implementation of draft versions of CellML 1.2cellml-core-spec
CellML Core Specification Draft Developmentcgrspy
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 languagefieldml-notes
fieldml-notesmodml-reactions
ModML Module for (bio)chemical reactionsbindings-eskit
Haskell bindings for the ESKit evolutionary optimiserlibzinc
My mirror of the libzinc Subversion repositorytest-reactions-model
ModML model of hydrogen burning in oxygenmonadio-unwrappable
Reversibly allow monad transformer stacks to run in IOuncertml_to_physiome
UncertML to Physiome formats convertercellml-dae-events-secondary
CellML Secondary specification for systems differential-algebraic equationsbasetram
Bayesian Search for Transcription factor Motifsmotocse
Motif Tool Comparison Suite - for comparing the results of different transcription factor identification programssuvetma
Support Vector Tools for Microarray Analysissoft2matrix
Tools to convert from NCBI's SOFT format (used for GEO data) to a binary format, and work with this datanetwork-netpacket
Haskell bindings for low-level packet sockets (AF_PACKET)tfnetbuilder
A set of utilities for building and perturbing gene regulatory networks of transcriptional regulationfieldml-uncertainty
Unofficial draft specification on how to describe uncertain parameters in FieldMLmodml-physicalconstants
Physical constants module for ModMLejabber-guest
ejabberd module to allow any user to log in as guest-* and talk to a predefined set of local users and see their presencemodml-solver
DAE Solver for ModML modelssbasetram
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 windowscellml-uncertainty-secondary
A draft CellML 1.2 secondary specification for representing parameter uncertaintynetwork-interfacerequest
Haskell bindings for the ifreq structure used to query network status using ioctlforeign-storable-asymmetric
Types and instances for implementing a Storable with different peek and pokemodml-units
ModML module for DAEs with unit checkingfay-ref
Like IORef but for Faydeclarative-fieldml-prototype
A prototype for trying out ideas around a declarative FieldML with advanced featuresdonttrackem
Suppress ad network tracking of users who visit your sitewebgl_pca
A browser-based viewer for visualising the mode-based variation of spatial modelsLove Open Source and this site? Check out how you can help us
