Search Results for "z-matrix"

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

Terminal-BASIC is a BASIC-like language interpreter, works on a set of single board embedded systems (i.e. famous AVR uc based boards). Terminal-BASIC: * suports real numbers, multidimensional arrays and Darthmouth BASIC-style matrix operations; * written in C++11; * has modular structure (can save uc storage, instantiating only used modules); * works through different i/o devices, using vt100 commands; * on systems with multiple i/O devices can work as simple time-sharing system; * static Linux build for playing and debug;

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.

ZLR is a Z-Machine interpreter designed to run modern interactive fiction games.

An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte

This is an Open Sourced BASIC interpreter environment using PostgreSQL. It is focused on (1) Simple to program, (2) Powerful database statements, (3) UNIX shell friendly, (4) Business focused, (5) "Function" over "speed". This is *not* another VB implementation. Extensive language documentation is available.