Search Results for "linux xp like"

Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats. Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical libraries. ...

...ECTk communicates via any analogue IO board supported by the comedi library. This offers a great flexibility as a large number of IO boards are supported by comedi. ECTk is running under Linux and was developed under Linux Ubuntu. ECTk was developed with the aim to conduct experiments in electrochemistry with a great flexibility. In particular, ECTk can be extended to satisfy the needs for a particular application. It is for example possible to drive, besides a potensiostat, simultaneously other instruments like a rotating electrode set-up.

Integrated Development Environment for some microcontrollers based on 8051(e.g. AT89S8253). Supported languages are Assembly and C. It has its own simulator, assembler, editor and many other tools. See the project web site for more details and the newest updates.

Unix-based preparation and analysis toolbox for Nanomaterials and Room Temperature Ionic Liquids in Bulk and Slab using bash scripts, Gromacs tools and Matlab functions. NaRIBaS provides a framework that decouples user input parameter and terminal based command lines. NaRIBaS does not replace a simulation software and specific analysis tools like Gromacs, but it allows iterative repetition of tasks while changing specific input parameter. The toolbox is to be understood as a scripting...

Parsers for biological data based on scanner generators like Flex (C), Re2c(C), Jflex (Java) and Ifickle (Tcl). This scanner generators are providing easier maintainance, development and higher speed than hand written scanners. Scanner output is SQL.

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Mechanical Properties Modules in C and TCL integrated for Geolog. This code was written for the Paradigm Geolog package (C"Loglan"/TCL). Though designed for Geolog they aren't part of it or owned by Paradigm. Feel free to do what you like with them.