RSS 646 projects tagged "Windows"

No download Website Updated 09 Mar 2007 UPPAAL

Screenshot
Pop 113.68
Vit 9.99

UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.

No download Website Updated 01 Nov 2001 Astro Battle

Screenshot
Pop 41.35
Vit 1.00

Astro Battle is an online multiplayer space simulation game where players can design and pilot their space ships against each other. The spaceships are made up of modules. Modules are components that contribute some ability or property to the spaceship as a whole. Some examples of modules are bridges, thrusters, cannons, torpedo bays, reactors, and batteries. A Player can join an arena by challenging another player to a space duel or by joining a dedicated server (which can host several players at a time). Astro Battle also has a practice arena for testing ship designs offline.

Download Website Updated 20 Jun 2012 Qfsm

Screenshot
Pop 133.36
Vit 9.74

Qfsm is a graphical editor for easily drawing finite state machines, written in C++ using Qt. Transitions can have either binary or ASCII conditions. Machines can be simulated and integrity checks applied, enabling verification of proper design and operation.

Download Website Updated 25 Nov 2003 DigitizeIt

Screenshot
Pop 69.20
Vit 2.90

DigitizeIt digitizes scanned graphs and charts. Graphs can be loaded in nearly all common image formats (including gif, tiff, jpeg, bmp, png, psd, pcx, xbm, xpm, tga, pct), pasted from the clipboard, or imported via a screenshot. Digitizing of line and scatter plots occurs automatically, and manual digitizing via mouse clicks is also possible. Data values are transformed to a specified axes system and can be saved in ASCII format, ready to use in many other applications such as Microcal Origin or Excel. Axes can be linear, logarithmic, or reciprocal scale. Multiple data sets can be defined and edited. Tilted and distorted graphs can be handled. Comprehensive online help is included. Java 1.4 is required.

No download Website Updated 13 Aug 2003 Seminole Webserver

Screenshot
Pop 56.20
Vit 4.18

Seminole Webserver is a portable Web server designed to be used in embedded systems, where memory space is at a premium. It is written in C++, and has a mechanism to direct requests to application-specific code, complete with the decoding of "CGI" parameters. It also includes a "filesystem" that can package up Web content (and optionally compress it) and store it in a ROM or other "flat" device. It comes with a simple example to make it a standalone Webserver under POSIX platforms for evaluation and testing.

Download Website Updated 12 Nov 2002 ChipVault

Screenshot
Pop 56.38
Vit 2.33

ChipVault is a chip development program for organizing VHDL and Verilog designs. ChipVault displays designs hierarchically and provides for rapid design navigation and editor launching. ChipVault provides hooks for performing bottom-up tasks such as launching RTL compilers, synthesis, block generation and instantiation, and includes simple to use Revision Control and Issue Tracking systems to help facilitate large group design projects with multiple designers and hundreds of design files. ChipVault is written in Perl and is small, fast, and efficient.

Download Website Updated 19 Jul 2002 Chart2D

Screenshot
Pop 72.31
Vit 1.78

Chart2D is a library written in Java for adding 2D charts to Java programs (or for exporting them to images). It can draw pie, line, vertical and horizontal bar, and scatter-plot charts. It can also draw charts with any combination of lines, bars, and dots.

Download Website Updated 17 May 2004 NumericalChameleon

Screenshot
Pop 58.15
Vit 2.74

The NumericalChameleon converts numbers with a precision of up to 1000 significant figures. It supports more than 3200 units in 82 categories, including lengths, areas, volumes, durations, bits & bytes, angles, temperatures, exchange rates, Roman numerals, spoken numbers, all 35 radixes, unicode, colorcode, int. dial codes, timezones, date calculations and more. You have unlimited access for adding, modifying, and deleting categories, units, and icons. Update exchange rates with the GUI or at the command line. All configuration data are stored in flat files.

Download Website Updated 01 Jun 2007 McStas

Screenshot
Pop 29.87
Vit 3.00

McStas is a computer program (written in C) that enables you to model very precisely a neutron instrument described as a series of various components. A source component shoots each neutron randomly (Monte-Carlo), and the particle is then propagated through the different instrument components. These later act on the neutron characteristics (position, speed, direction, spin, etc.). Usually, one installs some detectors along the neutron path to monitor its characteristics and flux.

Download Website Updated 12 May 2013 SaVi

Screenshot
Pop 212.18
Vit 16.14

SaVi is satellite visualization software that lets you create, run, examine, and modify satellite orbits in two and three dimensions. Simulations of Iridium, Globalstar, Galileo, GPS, and other satellite constellations are included. SaVi requires Tcl and Tk on a system with Unix libraries. SaVi works well with the 3D renderer Geomview. Geomview is optional, though recommended for its 3D rendering capabilities.

Screenshot

Project Spotlight

Devel Live CD

A Live CD to compile programs.

Screenshot

Project Spotlight

Docvert

Converts MS Word files to open document formats.