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.
Analog dockapp clock for GNUstep

aclock.app

Analog dockapp clock for GNUstep

AClock is an analog clock with display of smooth seconds. It stays in the dock. The display is customizable:
two oscillators software synthesizer

amsynth

two oscillators software synthesizer

amSynth features: * two analogue-style audio oscillators, featuring: o sine wave o saw/triangle wave with adjustable shape o square/pulse wave with adjustable pulsewidth o noise generation o "random" wave (noise with sample & hold) o oscillator sync o of course, detune and range control * mixer section with ring modulation * analogue-style low-pass filter o 24dB/octave curve o dedicated ADSR envelope o cutoff and resonance control o keyboard pitch tracking * amplifier with dedicated ADSR envelope * modulation LFO o up to 58Hz modulation o routable to all sections (pitch, filter, amplifier) * Effects o High quality stereo reverb (freeverb) o Distortion/crunch * Easy navigation and manipulation of presets * Stand-alone OSS or ALSA Midi/Audio client
Chemical structures editor

bkchem

Chemical structures editor

BKchem is a free chemical drawing program, which is written in Python.
graphical network monitor

etherape

graphical network monitor

EtherApe is a graphical network monitor modeled after etherman. it displays network activity graphically, showing active hosts as circles of varying size, and traffic among them as lines of varying width.