• Stars
    star
    5
  • Rank 2,846,682 (Top 57 %)
  • Language
    Shell
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Enable Unsigned Firefox Addons

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

happindicator

Haskell bindings for libappindicator
Haskell
4
star
6

cellml-testbed

A test implementation of draft versions of CellML 1.2
Haskell
4
star
7

cellml-core-spec

CellML Core Specification Draft Development
3
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