Template:Main/News
Jump to navigation
Jump to search
- cpsa 2.2.6
- Symbolic cryptographic protocol analyzer
- resource-pool 0.2.0.4
- A high-performance striped resource pooling implementation
- HaTeX 3.1.0
- LaTeX code writer.
- HaTeX-meta 1.1.0
- HaTeX monad modules builder.
- test-framework 0.4.2.0
- Framework for running and organising tests, with HUnit and QuickCheck support
- snaplet-hdbc 0.7
- HDBC snaplet for Snap Framework
- acme-realworld 0.1.1
- Primitives for manipulating the state of the universe
- zoom-cache-sndfile 0.3.0.0
- Tools for generating zoom-cache-pcm files
- zoom-cache-pcm 0.2.1.0
- Library for zoom-cache PCM audio codecs
- scope 0.5.1.0
- An interactive renderer for plotting time-series data
- zoom-cache 0.9.0.0
- A streamable, seekable, zoomable cache file format
- http-enumerator 0.7.2
- HTTP client package with enumerator interface and HTTPS support.
- IORefCAS 0.1.0.1
- Atomic compare and swap for IORefs and STRefs.
- abstract-deque 0.1.1
- Abstract, parameterized interface to mutable Deques.
- cereal 0.3.5.0
- A binary serialization library
- noodle 0.0.18
- the noodle programming language
- cuda 0.4.0.2
- FFI binding to the CUDA interface for programming NVIDIA GPUs
- blaze-builder 0.3.0.2
- Efficient buffered output.
- hmatrix 0.12.0.2
- Linear algebra and numerical computation