RSS 11 projects tagged "Scientific/Engineering"

Download Website Updated 17 May 2007 Document clustering

Screenshot
Pop 35.67
Vit 1.01

Document clustering is a data mining suite to cluster a document set. This set of tools was implemented from a series of papers: "Clustering Web Pages Semantically using Combinatorial Topology", "Data mining using granular computing", and "A fast association rule algorithm based on bitmap and granular computing".

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 18.22
Vit 1.00

GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

No download Website Updated 04 Jul 2006 MyCGR

Screenshot
Pop 17.86
Vit 1.00

MyCGR implements the research of the thesis of Peggy Cénac regarding the use of CGR (Chaos Game Representation) to build a new family of tests for the structure of sequences. It can empirically check the level and power of the tests and apply them on DNA sequences. It can generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees and to define CGR-trees.

No download Website Updated 09 Dec 2004 InFormal

Screenshot
Pop 30.33
Vit 1.00

InFormal provides formal verification of digital hardware. Built on the FNF open netlist standard, it creates a link between Icarus Verilog, the leading open source Verilog implementation, and NuSMV, the leading open soure model checker.

No download Website Updated 17 Feb 2005 Confluence System Design Language

Screenshot
Pop 58.21
Vit 1.75

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

Download Website Updated 30 Oct 2004 mlGrace

Screenshot
Pop 26.08
Vit 1.00

mlGrace is a high-level OCaml interface to the Grace 2D plotting application. It makes extensive use of OCaml's labeled optional arguments, making the most common plotting operations quick and easy.

No download Website Updated 07 Apr 2004 NAB

Screenshot
Pop 18.81
Vit 1.00

NAB is a network simulator targeted at wireless ad hoc and sensor networks. It places a particular emphasisis on scalability and visualization. Routing protocols currently implemented are AODV, EASE, and FRESH. Various MAC layers are available including a null MAC and a CSMA MAC.

Download Website Updated 14 Sep 2007 Orpie

Screenshot
Pop 99.80
Vit 4.09

Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, units support, base conversions, command completion, configurable keybindings, and a visible interactive stack.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.23
Vit 3.59

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 17 Sep 2002 OcamlSpread

Screenshot
Pop 14.56
Vit 1.00

OcamlSpread is a wrapper around the Spread group communication toolkit (http://www.spread.org) for the Objective Caml programming language. OcamlSpread not only wraps Spread functions, but adds an object-oriented interface and other valuable features.

Screenshot

Project Spotlight

iBoostUp

A system optimization tool.

Screenshot

Project Spotlight

Devel Live CD

A Live CD to compile programs.