Parallel/Multiprocessor Standalone Ray Tracer - with OpenGL display
full-screen tape editor that lets the user edit a calculation
Quality Tetrahedral Mesh Generator
skin editor for TiEmu
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 text mode consoles and terminals
Taiwan invoice reverse calculator
visualizer for intervals and boxes
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
Native jupyter kernel for GP
Computer algebra system -- x interface
External Sampling Profiler for R
Computer Algebra System