Search Results for "omega"

...Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed.

The goal of this project is to create a simple clock program or set of programs that represent time in base-60, using the numerals 0-9, the letters a-z to represent 10-35, and the Greek letters alpha-omega to represent 36-59. This way, hours, minutes, and seconds can be displayed with a single character each. Basically the functional opposite of a binary clock.

Omega Online is cross-platform peer-to-peer middleware for home computing. The project provides tools and libraries to author distributed computing in a language-neutral manner, using open standards.

Orbital Conflict is a top-down arcade-style shooter, inspired by Omega Race. The game contains modern 2d graphics. Traditional arcade gameplay is enhanced by powerups and unique enemies. Puzzle, and challenge modes are planned.

Persian(farsi) localised version of LyX document preparation system using Persian localised version of Omega(ufaTex) as its back end.

LinWarrior '...navigate your customized Wanzer to your target, follow the navsequence, command your stabgroup, destroy all enemy units, and retreat to roundevous omega...' - This may be your order - if you join and become a Linwarrior!

Turn based strategy game with single-player, and multi-player modes.

OMEGA is a mod of the popular eMule p2p client.