Search Results for "immutable linux os"

Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.

CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams'...

TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP full text search engine (http://cwb.sourceforge.net) and a range of statistical functions (factorial analysis, classification, cooccurrency analysis, etc.) based on R packages (http://www.r-project.org). ...

Freemat is an interpreted, matrix-oriented development environment for engineering and scientific applications, similar to the commercial package MATLAB. Freemat provides visualization, image manipulation, and plotting as well as parallel programming.

Real-time interactive fractal zoomer. Home Page: http://xaos.sf.net/ GitHub: - Downloads: https://github.com/xaos-project/XaoS/releases - Source https://github.com/xaos-project/XaoS - Issues: https://github.com/xaos-project/XaoS/issues - Wiki: https://github.com/xaos-project/XaoS/wiki Discussion Groups: - Users: http://groups.google.com/group/xaos-users - Developers: https://groups.google.com/forum/#!forum/xaos-devel

My first prehistoric OS project. First implemented on a AMIGA platform incl GUI in the 90's. Later on moved to Windows without GUI - CLI only. On windows a network version (client-server) was implemented. Operates with mathematical symbolic scientific expressions using a pattern matching strategy. These patterns are part of the Research Libraries - Equation solving - Symboloc differentiation - Symbolic integration - Symbolic operation with differential equations

Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.

Quicksolve is an interactive graphing calculator and programming language. It provides an intuitive interface for performing basic plots and calculations with a focus on numerical solutions. Versions will be available for both Gnome and Mac OS X.

A program that analyzes info about an automotive engine, and wanted power increase in horsepower and the program helps give the user a possible turbocharger that satisfies the requirements.

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.

Cracks of Reality is a high-quality fractal image renderer for Mac OS X. It is written in ObjC/Cocoa with the core engine in C to allow for a portable command-line version. Goals are speed, quality, and the ability to import other programs' descriptions.

Emu48 for Mac OS X is an emulator for HP calculators. It is a port of Emu48 for Windows and uses the same ROM images and interface skins. Currently it can emulate the HP49/48/40/39/38 series calculators. More info: http://emu48mac.sourceforge.net/

*** This page is no longer used by the Dasher project - please see http://www.inference.phy.cam.ac.uk/dasher/ *** Dasher is a data entry interface incorporating language modelling and driven by continuous two-dimensional gestures, e.g. a mouse, a stylus

A programmable RPN calculator for various PDAs. It features a programming language that resembles the original RPL found in HP48, along with other \"standard\" features such as matrices, complex numbers, binary arithmetic etc.