Search Results for "notation"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app for the RPN Engine • TRURL B: RPN calculator in the design of the famous calculators by Dieter Rahms for Braun • TRURL G: Desktop RPN calculator inspired by the UI of the DSKY unit of the Apollo Guidance Computer (AGC)

ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers.

Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic

Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available.

QoSPref is a Java library for ranking web services based on non-functional properties such as quality of service (QoS). QoSPref allows users to express trade-offs between the various non-functional properties in a simple, but flexible manner. It uses an intuitive notation inspired by the way people reason about their preferences.

Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project.

haggies is an optimizing code generator. It can read in expressions in common notation and generate output for many programming languages including C/C++, Java, Fortran, Python and many others.

System independent command line calculator written in C (C99 standard). Expression is first converted to Reverse Polish Notation and then evaluated.

JsMath is a means of including mathematical notation in web pages. It interprets TeX code within your document and uses JavaScript, CSS and unicode fonts to typeset the resulting formulas. It works across multiple browsers and platforms, without MathML

Java library for simple managing and solving sophisticated mathematic expressions and equations, based on Reverse Polish Notation (RPN)

This program converts calculator-style ASCII math notation (the same that ASCIIMathML uses) to Spanish Braille mathematics notation (not Nemeth Code).

MCDL is a small Java molecular viewer/editor for chemical structures, stored in Modular Chemical Descriptor Language linear notation. Features include accurate structure diagram generation, and Kekule chemical structure creation from aromatic bond list.

Cross-platform C++ library for Reverse Polish Notation calculus. Focuses on providing a reusable set of RPN functionalities such as parsing, variable substitution and computation.

CGNS++ is an object oriented interface to provide access to CGNS (CFD General Notation System) databases. It is similar to the existing C and FORTRAN interfaces provided by www.cgns.org, but uses an object oriented abstraction of the underlying SIDS.

REPCAL (REverse Polish CALculator) is a light and fast calculator in RPN (reverse polish notation) mode for the console (command line). It is written in 180 lines of Python code, and can be used both interactively or inside shell scripts.

PAVIAN - PArsing and VIsualization of Arithmetic Notations is a Java-applet, used to embed a visualization of a formula into websites. PAVIAN parses LaTeX, mathML-based or an intuitive notation on the client to display them.

kalc is a programmable scientific calculator, using RPN (Reverse Polish Notation). Its behaviour imitates a HP48/HP49 calculator. Works with real and complex numbers, unlimited size integers, arbitrary-precision real numbers and more.