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.