Search Results for "z-push"

SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.

Geeny is a scriptable game engine with built-in support for 2D graphics and sound. The scripting language is object oriented, high performance is attainable by using vector and array operations. Win32 C++, full portability planned in the future.

...Utilizing the best open source available on the web, This framework combines the best components available freely on the web into a single, easy-to-use, and extremely powerful framework which is lightweight, fast, and easily maintainable. Focusing on a core of JQuery and Atmosphere Push - You can ensure that your application will run on any device. With AJAX at the center, and a "Render-On-Load" servlet that can start loading from any element in the tree, you can always ensure that you can provide a secure, cross-browser web application. By Default, Server-Side-Only development is more secure than any other method out there. ...

A program written in C# .net that can view and edit minecraft map item files. You can also import your own pictures into the map, which can then be used in minecraft.

See https://github.com/sitefusion SiteFusion is a server-based development environment. Applications are written in PHP and work through a thin XUL client. SiteFusion applications look and behave like native system applications but run on a server generating JavaScript commands.

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).

This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.