Search Results for "computer-aided software engineering"

XyZerKunG ServerTool helps you to make your own Minecraft server and play with your friend for a few minutes

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

GOFG Sports Computer is a free GPS tracking software for your smartphone which allows to record your workouts. In addition it allows to sozialize your sports experience by sharing your exercises on gofg.at, facebook and twitter. The most important features are: - GPS tracking of your training - upload workouts to gofg.at and share them using twitter and facebook - analyze your exercises using a map-display & altitude graph - keep track of various statistics like ODO-meter - ships with English, German, Italian and Spanish user interface - export to Fitlog, TCX and GPX Currently Android, iOS and Windows Phone 7 & 8 are supported.

2020: MOVED TO https://github.com/peterjtracey/desqchess -- because it's 2020... Version 3 fork of desqchess. DESQChess will be an easy to use, easy to add on to, easy to animate chess system. Useful for apps, tablets apps, and desktop systems. Plans for other plugins include: - Add plugin to connect to animation system (web GL) - Connect to other open-source software such as Blender, illustrator, GIMP, and Vector graphic manipulation programs.

HZ Classic Puzzle Games is a collection of puzzles and games that preserve the simplicity of the first computer games, while harnessing the power of modern software to look good and to work across platforms. Using javascript, DHTML, ML, C++, SDL.

Mac OS X and Windows OpenGL 3D Engine tools, content and code to create games and applications. Newton physics, OpenAL sound with OGG Vorbis, Lua, Revolution, written in C.

As you may recall, a Turing-machine is an all-purpose computer. A Turing-machine has a memory that consists of a track or line of data. On the track, a read-/write-head is moving. The read-write head itself is a state engine, which is affected by the input from the track, and which decides what to write on the track, and where to read the next input, by "moving" the head back or forth. In 5050, the part of the track left of the head is represented not by a line or stack of information,...

The program Virtual Network Simulator for Web 2.0 is a tool that allows the simulation of assembly and configuration of computer network projects, virtual or physical. It also simulate the sending of a package between the hots of origin and destinati

JavaScript 2D game engine

This software is a zip file of a web site to easily design rc airplanes

The Eight Queens Problem is a chess board puzzle. Eight queens can be placed on the chess board without conflict. Any queen placed on the chess board will not attack any other queen. JavaScript programming language is used.

Gamoliyas is an open source John Conway's Game of Life game totally written in DHTML (JavaScript, CSS and HTML). Uses mouse and keyboard. Very configurable. This cross-platform and cross-browser game was tested under BeOS, Linux, *BSD, Windows and other

Wednus Darwin is the set of implementations of the Darwinian revolution workspace components; time, place, and creaures. The Oracle implements an abstract time manager which distributes tick signal to its member objects.

A rapid development tool for games. “The Game” abstracts across the set of all possible graphical computer games (2D as well as 3D), breaking it down into a set of objects, sprites, meshes, sounds etc that can be easily configured. Then hit “compile”.

Futures Gateway is a not-for-profit educational project for children (primarily ages 8 - 18) and their families. It uses interactive and collaborative activities, especially Wiki and HTML document and media management software, videoconferencing, chat, b