libdisruptor-java

Disruptor - High Performance Inter-Thread Messaging Library for Java

The disruptor is a high-throughput and low-latency concurrency framework. It is designed to maximize the efficiency of memory allocation, and operate in a cache-friendly manner so that it will perform optimally on modern hardware.

ufo-filters

Set of plugins for ufo-core - runtime

The UFO data processing framework is a C library suited to build general purpose streams data processing on heterogeneous architectures such as CPUs, GPUs or clusters. It is extensively used at the Karlsruhe Institute of Technology for Ultra-fast X-ray Imaging (radiography, tomography and laminography).

libmetrics-clojure

Clojure wrapper for Coda Hale's metrics library

This package contains the following Clojure libraries * metrics-clojure: A Clojure façade for Coda Hale's metrics library * metrics-clojure-ganglia: Ganglia reporter integration for metrics-clojure * metrics-clojure-health: Gluing together metrics-clojure and healthchecks * metrics-clojure-jvm: Gluing together metrics-clojure and JVM instrumentation * metrics-clojure-ring: Integration of metrics-clojure with Ring

libcoq-mathcomp-multinomials

Multivariate polynomials for Mathematical Components

This package provides an extension to Mathematical Components for monomial algebra, multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients live in abelian rings and integral domains.

libcoq-corn

Coq Constructive Repository at Nijmegen

This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations.

gap

computer algebra system for Groups, Algorithms and Programming

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.