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.
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:
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
bkchem
Chemical structures editor
BKchem is a free chemical drawing program, which is written in Python.
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.