Build, Store, and Distribute your Applications and Containers

Functional JDBC layer for Scala.

A minimal, idiomatic Scala interface for HTTP

The pure asynchronous runtime for Scala

Lightweight, modular, and extensible library for functional programming.

lowlevel set of cryptographic primitives for haskell

Play Minesweeper by formally proving your moves in Idris

An experimental HTTP framework for Idris

Overview of ECMAScript 6 features

OpenCOR is a cross-platform modelling environment, which can be used to organise, edit, simulate and analyse CellML files.

fieldml-notes

A draft CellML 1.2 secondary specification for representing parameter uncertainty

Reversibly allow monad transformer stacks to run in IO

Haskell bindings for low-level packet sockets (AF_PACKET)

Types and instances for implementing a Storable with different peek and poke

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

MongoDB driver for Haskell

A test implementation of draft versions of CellML 1.2

A GHC-based Haskell to JavaScript compiler

Python bindings for the CellML API based on top of the CellML Generics and Reflection Service (CGRS)

UncertML to Physiome formats converter

Haskell bindings for libappindicator

A1kmm's XMonad configuration, featuring togglable minimised windows

CellML Secondary specification for systems differential-algebraic equations

CellML Core Specification Draft Development

Haskell bindings for bcrypt

Unofficial draft specification on how to describe uncertain parameters in FieldML

Low-level typesafe HDF5 bindings

Unofficial draft specification on how to describe uncertain parameters in CellML