RSS 44 projects tagged "Scientific/Engineering"

No download Website Updated 23 Mar 2014 Tcpreplay

Screenshot
Pop 994.90
Vit 98.81

Tcpreplay is a set of Unix tools which allows the editing and replaying of captured network traffic in pcap (tcpdump) format. It can be used to test a variety of passive and inline network devices, including IPS's, UTM's, routers, firewalls, and NIDS.

Download Website Updated 08 Apr 2004 Othello Master

Screenshot
Pop 28.50
Vit 60.57

Othello Master is a sophisticated 3-D game engine for the game of Othello. It boasts many viewing angles, various strategies and levels of difficulty, research capabilities, and automation options.

Download Website Updated 07 Sep 2007 libirt

Screenshot
Pop 10.82
Vit 49.20

The Item Response Theory (IRT) library is a set of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the nominal response model, the graded response model, and smoothing by penalization and kernel. The project also hosts rirt, a package for the R Project for Statistical Computing, and eirt, an add-in for Excel.

Download Website Updated 21 Dec 2013 gjrand

Screenshot
Pop 159.87
Vit 27.31

gjrand is a programmer's library for pseudo-random numbers. It includes random number generator testing code and is intended for simulation, games, and "Monte-Carlo" algorithms. It produces pseudo-random numbers of the types: uniform integers, uniform reals, normally distributed reals, binomial, Poisson, integer permutation, chi-squared distribution, "Student" T distribution, and spherical distribution.

No download Website Updated 09 Mar 2007 UPPAAL

Screenshot
Pop 113.37
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.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 89.26
Vit 9.80

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

No download Website Updated 21 Aug 2011 Java Application Monitor API

Screenshot
Pop 110.80
Vit 7.10

The Java Application Monitor (JAMon) is a free, simple, high performance, thread safe, Java API that allows developers to easily monitor production applications. JAMon can be used to determine application performance bottlenecks, user/application interactions, and application scalability. JAMon gathers summary statistics such as hits, execution times (total, average, minimum, maximum, standard deviation), and simultaneous application requests. JAMon statistics are displayed in the sortable JAMon report.

Download Website Updated 15 Feb 2008 WinDriver

Screenshot
Pop 168.59
Vit 6.97

WinDriver automates and simplifies the development of user-mode Linux device drivers for PCI, CardBus, ISA, PMC, PCI-X, PCI-EXPRESS, and CompactPCI as well as USB 1.1/2.0. No internal OS knowledge or kernel level programming is required. It supports kernel 2.0.31 and above, including embedded Linux, x86 and PowerPC processors, and any 32-bit development environment supporting C or Delphi. Applications are source code compatible across Windows 98/Me/NT/2000/XP/XP Embedded/Server 2003/CE, Linux, Solaris, and VxWorks.

Download No website Updated 04 Jun 2008 alph

Screenshot
Pop 85.08
Vit 6.14

alph implements and analyzes historical and traditional ciphers and codes, such as polyalphabetic, substitutional, and mixed employing human-reconstructable algorithms. It provides a pipe filter interface in order to encrypt and decrypt block text to achieve transparency. The program is meant to be used in conjunction with external programs that transfer data, resulting in transparent encryption or decryption of information. The program can thus be used as a mail filter, IRC filter, IM filter, and so on.

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 71.89
Vit 5.89

Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.

Screenshot

Project Spotlight

TurnKey ejabberd Appliance

AN ejabberd appliance that is easy to use and lightweight.

Screenshot

Project Spotlight

Barman for PostgreSQL

A backup and recovery manager for PostgreSQL.