Social Networks Analysis and Visualization software
library for safe floating-point code development -- tool
High precision calculator
Exact real calculator
Akima spline interpolation
distributed approximate nearest neighborhood search (ANN)
simple mathematics statistics from the command line interface
simple tools for data analysis (stda)
library for stochastic optimization problems (programs examples)
visualization of real algebraic geometry
visualization of real algebraic geometry -- no X support
mathematical program for SYMmetric POWer elliptic curve L-functions -- program
mathematical program for SYMmetric POWer elliptic curve L-functions -- shared
Parallel/Multiprocessor Standalone Ray Tracer - metapackage
Parallel/Multiprocessor Standalone Ray Tracer - with no X support
Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
full-screen tape editor that lets the user edit a calculation
Quality Tetrahedral Mesh Generator
Texas Instruments calculators emulator (without GDB)
skin editor for TiEmu
GTK+ TI Z80 calculator emulator
GTK+ TI Z80 calculator emulator (data files)
Texas Instruments hand-helds <-> PC communication program for X
Triangulations Of Point Configurations and Oriented Matroids
Triangulations Of Point Configs and Oriented Matroids (examples)
realtime plotting utility for consoles and terminals
Taiwan invoice reverse calculator
header-only C++ template library for b-spline processing
Flexible command-line scientific calculator
Software verification platform
HTML Documentation of the why3 verification platform
PDF Documentation of the why3 verification platform
Examples for the why3 verification platform
GUI for the computer algebra system Maxima
Lossy compression and denoising
Computer algebra system -- x interface
External Sampling Profiler for R
Computer Algebra System