Search Results for "glc-player"

...FlightGear is used all over the world by desktop flight simulator enthusiasts, for research in universities and for interactive exhibits in museums. FlightGear features more than 400 aircraft, a worldwide scenery database, a multi-player environment, detailed sky modelling, a flexible and open aircraft modelling system, varied networking options, multiple display support, a powerful scripting language and an open architecture. Best of all, being open-source, the simulator is owned by the community and everyone is encouraged to contribute.

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.

LaTeX2Flash is an open source toolset for importing LaTeX generated content to Adobe Flash IDE and Flash Player. The main goal of this project is to enable mathematic typesetting in Flash. Support as tested: WinXP, Win7, Adobe Flash 8/CS3/CS5

SARGE - Search And Rescue Game Environment is a multi-player training game for robot operators which also supports agent based robot control for simulation work via TCP.