ATLAS (Automatically Tuned Linear Algebra Software) provides highly optimized Linear Algebra kernels for arbitrary cache-based architectures.ATLAS provides ANSI C and Fortran77 interfaces for the entire BLAS API, and a small portion of the LAPACK API. ...
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes with 99 examples - Comes with 13-page user's manual ...
TilEm is a TI Calculator Emulator that uses Gtk. It is an emulator for the Z80 series of Texas Instruments graphing calculators. It emulates all current Z80 calculator models except the TI-81, and features a debugger, external file loading, and full flash support, including flash app loading. It supports: - ...
GNU Gama is a package for adjustment of geodetic free networks (acronym Gama is formed from words geodesy and mapping). GNU Gama is written in C and currently supports only adjustment in a local carthesian coordinate system; adjustment in global coordinate system is part of new development branch.A part of GNU ...
bc is a language that supports arbitrary precision numbers with interactive execution of statements. There are some similarities in the syntax to the C programming language.A standard math library is available by command line option. If requested, the math library is defined before processing any files. bc starts by processing code ...
GENtle is a software for DNA and amino acid editing, database management, plasmid maps, restriction and ligation, alignments, sequencer data import, calculators, gel image display, PCR, and much more. ...
