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
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 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
Computer algebra system -- x interface
External Sampling Profiler for R
Computer Algebra System