Search Results for "planning"

Implementation of a Belief Revision algorithm using bounded model checking for ACTL

Pear3DEngine is a modern and modular 3D development framework that lets you create professional games, simulations and more. You are free to develop your program in C + +, XML or LUA and publish it as open source software or selling it as a commercial program. The rendering engine uses internally OpenGL or DirectX optionally. The planned editor supports software development on Linux, Windows and maybe MacOS X. DirectX 9 and therefore Windows XP are currently not supported and support is not...

Highly Object Oriented Language This is an attempt to develop a new third generation general purpose programming language for x86 and x86_64 processor which tries to integrate maximum possible object oriented concepts.

CompilerEngine is a compilation engine, you can easily make a quick cross-platform compiler. But CompilerEngine just a preliminary framework for a prototype or preliminary design, there are many imperfections.

BrokenFinger is a collection of demo 3D programs showing latest implementation in the areas of: Document Object Model, GPU Bound Processing, and Procedural Modeling(e.g. CGA Shape).

The Green Engine was designed as an introduction to programming and game development for those who have little or no previous experience. The games developed using this system are described in a high level, simple to use scripting language.

‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.

The LEO-SYSGEN project deals with development of the Sysgen tool for Linux Based ECOS interface for OSEK/VDX Based RTOS. Feel free to download-develop-submit and query about it!!!

Binutils, gcc, gdb and glibc re-targeted for MIPS R3000R and R5900 as shipped in PlayStation and PlayStation 2 video game consoles, both from Sony Computer Entertainment Inc.

A BSD Ports-like package managing tool that inherits the UNIX philosophies. DIPMT is designed for high clarity, absolute irrestrictability and strong extensibility to provide simple mechanism while keeping as same ability of using sourcecode as possible.

The Jorne project develops software and open standards for linking Lojban text with WWW and Semantic Web metadata (e.g. RDF/N3, RSS, XML). Lojban is an artificial spoken and written language based on predicate logic.

Binary file writer. Combine files, calculate checksum and image size, put calculation result into the output file.

Free ttcn3 compiler. (cpp code generator)

This utility is to construct the interactive function call graph.