This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
This library provides an Opensource ATPG API to build your programs on. The library implements a lot of template c++ classes and functions that provide Combitional/Sequential logic simulation, and fault simulation functionality(semi-PROOFS).
An open-source collection of materials for lectures, tutorials, labs, and software for a variety of primarily Computer Science courses. The materials include various course notes, presentation slides, source code samples, etc.
shell scripts for MRI data processing
A digital ambient air data logger built on Debian.
This is the California Air Resources Board, environmental digital data logger (CARBLogger) project which develops and maintains an open source, shell-script based digital data acquisition and reporting system.
Calculator for (La)TeX Using (La)TeX language (mathematics environment only) for calculations by means of python, bc, maxima, octave or/and similar programs.
Analysis for the identification of non-neutral evolution in bacterial genomes.
g03mem takes a Gaussian 03 input file and gives the computational requirements needed for its execution.
A script for parsing a LaTeX snippet into png. Very useful for those who wish to create quick equations for either presentations or websites. The latex2png script comes in three flavors.
Matlab routines for analyzing data