Search Results for "alpha linux" - Page 65

Convert the Celera ASM assembly format to the Consed ACE or the CAF file format.

Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

Visualize your bioinformatics analysis process.

The Scheme Natural Language Toolkit (S-NLTK) is a Scheme R6RS library for language and text processing, and various tasks related to symbolic and statistical analysis of language data.

Track utility meters to see how much electricity is generated by solar panels and create charts of the meter data.

Very simple to use conversion calculator.

A 3-d Constraint-based multibody physics engine written in entirely Java, aimed at real-time capabilities. The user can model bodies, geometries, joints, and parameters. See http://code.google.com/p/jinngine/ for source code and development information.

Mixed Analog/Digital Simulator framework - parser and elaborator for Verilog and Verilog-AMS, and an extended C++ (ParC - http://parallel.cc) to be used as the simulation engine.

Eprog 27011 GUI is a simple Java-App for the old Renkforce Eprommer Eprommaster 27011. The tar-file contains the complete Netbeans-Project and a compiled Jar-File. To start use eprog.sh or eprog.bat (Windows).

C Ansi Code to allow developers to use a Web Browser as GUI for a console program, it write on a socket html widgets and read user choice through FORM SUBMIT. It include a little web server. Very compact as Html managment consist in 2 modules

Data file transpose script in python.

Sample turing machine for educational purposes.

VgaSim simulates a VGA screen connected to your VHDL and VeriLog design. Simulated signals from your desing will handle the virtual VGA screen such as it were real. VgaSim works with VHDL and VeriLog simulators such as ModelSim and GHDL.

Qt-based Google Translate client.

A library for fast computation of Gauss transforms in multiple dimensions, using the Improved Fast Gauss Transform and Approximate Nearest Neighbor searching. This library is useful for efficient Kernel Density Estimation (KDE) using a Gaussian kernel.

Software for graphs visualization, encouraging graph algorithms implementation. Aimed at students who want to code their own algorithms and see a graphical representation of it working.

Provides an API, which enables the Matlab or Octave user (and developer) to incorporate Space Weather data and metadata resources from the Space Physics Interactive Data Resource (SPIDR) directly into an Matlab/Octave application. Examples included.

Clonecap reads packets from a pcap file and clones the packets to stdout with rewritten IP addresses.

A program for searching of automorphisms in a given graph. It uses the 2-dimensional Weisfeiler-Lehman method to first classify the vertices. Afterwards, searches for automorphisms using a method proposed by Manindra Agrawal.

A Cellular Automaton simulator written in java (swing).

The aim of this project is to create a series of User Defined Functions, for MySQL servers. (Formerly known as MySQL/Scientific)

!!! ABANDONED PROJECT !!! I'd be happy to hand it over to anyone willing to take over, or just to use the name. Check out the showcase : http://gwt-mapfish.sourceforge.net/showcase/GwtMapFishShowcase.html I see there are still some downloads, so I feel I have to advise against using this project. It barely has any functionality, and anyway you'd be better off with home-made GWT widgets and Java logic. GWT-OpenLayers is OK, but don't go further in JS-library wrapping, or it gets messy.

HealthCareSim is an SDK for rapid modeling and simulating care delivery systems using the discrete event simulation paradigm. A modular design and useful defaults will enable a Java developer to quickly build prototype models that can be extended.

Set of tools for algebraic derivative estimation, based on the work of Fliess and its collaborators.

Computational fluid dynamics simulation for vortex dynamics