7196 projects tagged "Windows"
Updated 20 Aug 2007
A-OK! The Wings of Mercury
| Pop | 15.49 |
|---|---|
| Vit | 1.00 |
A-OK! The Wings of Mercury is a realistic simulation of the Mercury spacecraft. It features 3D graphics, fully functional control panels, networked simulations, and a complete manual. It uses the actual checklists used by the astronauts. Orbital and Sub-Orbital missions can be simulated. Orbital missions and a Mission Control Center simulator are available to registered users.
Updated 04 Jun 2004
A.T.Edit
| Pop | 34.06 |
|---|---|
| Vit | 2.67 |
A.T.Edit is a Tcl/Tk-based text editor. It works on both the X Window System and on Microsoft Windows.
Updated 11 Nov 2003
A220 Mission 1
| Pop | 28.51 |
|---|---|
| Vit | 1.00 |
A220 Mission 1 is an arcade game written as a Java Midlet for cellphones. It lets you fly through mountains and cave systems, eliminating multiple enemies before finally destroying the Pirate Base. You pick up weapons, shields, and fuel powerups along the way. There are multiple levels, terrains, and enemies.
Updated 28 Apr 2001
AA-lib
| Pop | 171.02 |
|---|---|
| Vit | 2.00 |
AA-lib is a low level gfx library just as many other libraries are. The main difference is that AA-lib does not require graphics device. In fact, there is no graphical output possible. AA-lib replaces those old-fashioned output methods with a powerful ASCII art renderer. The API is designed to be similar to other graphics libraries.
Updated 17 May 2012
ABC Path Generator
| Pop | 24.23 |
|---|---|
| Vit | 1.00 |
ABC Path Generator is a program and a Perl library that generates layouts of ABC Path based on the input of a random number generator. Giving different seeds to the generator will yield different layouts. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured on brainbashers.com. ABC Path Generator makes use of depth-first-search to find usable final paths, and then assigns the clues for it, also using DFS.
Updated 08 Mar 2012
ABC Path Solver
| Pop | 26.61 |
|---|---|
| Vit | 2.43 |
ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.
Updated 12 Aug 2010
ACCORD
| Pop | 32.08 |
|---|---|
| Vit | 1.74 |
ACCORD is a C library for composition of SEM or scanning helium-ion microscope images with correction of drift. It is able to compose (average) large sets of extremely noisy images that were acquired by scanning charged-particle microscopes at the highest possible speeds (lowest pixel-dwell times). If the images are composed using traditional techniques, they usually become extensively blurry. The technique that is implemented in this software corrects these derogations by pre-shifting the composed frames.
Updated 28 Jun 2002
ACDK Tcl
| Pop | 105.83 |
|---|---|
| Vit | 1.51 |
ACDK Tcl allows you to instrument a Tcl interpreter inside an ACDK application. In the Tcl script, you can call all ACDK classes with the standard ACDK Dynamic Method Invokation (DMI) methods.
Updated 01 Aug 2004
ACFTools
| Pop | 73.27 |
|---|---|
| Vit | 2.02 |
ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
