teapot | Curses based spread sheet program | |
tex-apnum | Arbitrary precision numbers implemented by TeX macros | |
tex-apnum-doc | Documentation for tex-apnum | |
tex-fp | Fixed point arithmetic | |
tex-fp-doc | Documentation for tex-fp | |
tex-kastrup | Expansible conversion into binary-based number systems | |
tex-kastrup-doc | Documentation for tex-kastrup | |
tex-lualatex-math | Fixes for mathematics-related LuaLaTeX issues | |
tex-lualatex-math-doc | Documentation for tex-lualatex-math | |
tex-mathpartir | Typesetting sequences of math formulas, e.g. type inference rules | |
tex-mathpartir-doc | Documentation for tex-mathpartir | |
tex-mathspec | Specify arbitrary fonts for mathematics in XeTeX | |
tex-mathspec-doc | Documentation for tex-mathspec | |
tex-minifp | Fixed-point real computations to 8 decimals | |
tex-minifp-doc | Documentation for tex-minifp | |
tex-physics | Macros supporting the Mathematics of Physics | |
tex-physics-doc | Documentation for tex-physics | |
tex-unicode-math | Unicode mathematics support for XeTeX and LuaTeX | |
tex-unicode-math-doc | Documentation for tex-unicode-math | |
tex-zhnumber | Typeset Chinese representations of numbers | |
tex-zhnumber-doc | Documentation for tex-zhnumber | |
texdrive | Emacs mode for creating inline formulae for HTML | |
TinySVM | Tiny Support Vector Machines | |
tochnog | Finite Element Analysis Program | |
udunits | Library and program for manipulating units of physical quantities | |
units | GNU Units - a calculator capable of performing unit conversions | |
vista | Visual statistics system | |
volk | The Vector Optimized Library of Kernels | |
vowpal_wabbit | Vowpal Wabbit is a machine learning system | |
wxmaxima | Graphical UI for maxima | |
xeukleides10 | X-Frontend for A Euclidean geometry drawing language | |
xfractint | Fractint for X11 | |
xgap | GUI for GAP | |
xldlas | XForms-based statistics package | |
xlife | John Horton Conway's Game of Life | |
xlispstat | Statistics/X11-based LISP interpreter | |
xmgr | Powerful XY plotting tool for workstations or X-terminals using X | |
xylib | Library for reading powder diffraction data | |
yacas | Yet Another Computer Algebra System | |
yices2 | Yices 2 SMT solver | |
yorick | Numerical algebra system (similar to Matlab) | |
z3 | The Z3 theorem prover / SMT solver |