• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • Created about 13 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

CellML Core Specification Draft Development

More 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

cgrspy

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

modml-core

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

fieldml-notes

fieldml-notes
2
star
11

modml-reactions

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

bindings-eskit

Haskell bindings for the ESKit evolutionary optimiser
Haskell
2
star
13

libzinc

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

test-reactions-model

ModML model of hydrogen burning in oxygen
Haskell
2
star
15

monadio-unwrappable

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

uncertml_to_physiome

UncertML to Physiome formats converter
Haskell
2
star
17

cellml-dae-events-secondary

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

basetram

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

motocse

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

suvetma

Support Vector Tools for Microarray Analysis
2
star
21

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
22

network-netpacket

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

tfnetbuilder

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

fieldml-uncertainty

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

cellml-uncertainty

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

modml-physicalconstants

Physical constants module for ModML
Haskell
1
star
27

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
28

modml-solver

DAE Solver for ModML models
C
1
star
29

sbasetram

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

xmonad-config-a1kmm

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

cellml-uncertainty-secondary

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

network-interfacerequest

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

foreign-storable-asymmetric

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

modml-units

ModML module for DAEs with unit checking
Haskell
1
star
35

fay-ref

Like IORef but for Fay
Haskell
1
star
36

declarative-fieldml-prototype

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

donttrackem

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

webgl_pca

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