RSS 52 projects tagged "Solaris"

Download Website Updated 24 Nov 2002 cingb

Screenshot
Pop 76.92
Vit 2.41

cingb is an attempt to write a Gameboy emulator for all kinds of platforms. It plays Gameboy and Gameboy Color ROMs, includes a debugger for step-by-step analysis of Gameboy programs and might be also interesting for educational purposes.

Download Website Updated 15 Mar 2001 EnRus dictionary tools

Screenshot
Pop 118.47
Vit 4.37

The EnRus dictionary tools are TCL/Tk scripts for reading a textual (plain or compressed by gzip or bzip2) dictionary base and compiling new dictionary bases from plain text files. It consists of a few TCL console scripts and a Tk interface to them. It is configurable for different languages. The dictionary base may contain proper formatting and output procedures.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.36
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

No download Website Updated 30 Jan 2001 pftp

Screenshot
Pop 43.47
Vit 3.29

pftp allows you to send and receive files and directories recursively, send and receive standard input and ouput, filter your connection, set the net buffer size, set the bandwidth, send UDP datagrams unicasted, broadcasted, and multicasted (which is meant for AUDIO and VIDEO streaming), send data to another user and manage that data, perform a network test based on either UDP or TCP, and use optimized buffers for your Gigabit Ethernet links. pftp can start from command line, as a daemon, or by inetd. All features are supported for IPv4 and IPv6.

Download Website Updated 29 Mar 2011 SendIP

Screenshot
Pop 186.29
Vit 4.45

SendIP is a command-line tool to send arbitrary IP packets. It has a large number of options to specify the content of every header of a RIP, RIPng, BGP, TCP, UDP, ICMP, or raw IPv4/IPv6 packet. It also allows any data to be added to the packet. Checksums can be calculated automatically, but if you wish to send out wrong checksums, that is supported too.

Download Website Updated 30 Oct 1999 spim

Screenshot
Pop 35.78
Vit 72.72

spim is a self-contained software simulator for running R2000/R3000 assembly language programs. It reads and can immediately execute files containing assembly language code. spim also provides a debugger and simple set of operating system services. spim provides both a simple, textual interface and a fancier, graphical interface. The package includes complete source code and documentation.

No download Website Updated 03 Jan 2005 ILIAS

Screenshot
Pop 62.77
Vit 3.34

ILIAS is a platform for Web-based training. It is being developed at the University of Cologne, in Germany, using PHP and MySQL. It has been available since September 2000 as open software software under the GPL. The system's core is an authoring tool for creating courses. Other main components include personal desktops, a mail system, newsgroups, a group system, and system administration.

Download No website Updated 26 Jun 2001 EASEA

Screenshot
Pop 45.17
Vit 1.42

EAsea Specification of Evolutionary Algorithms (EASEA), is a high-level language dedicated to the specification of evolutionary algorithms. The language and compiler are quite mature. EASEA compiles .ez specification files into C++ or Java object files, using existing evolutionary libraries. Supported C++ libraries currently are GALib or EO.

Download Website Updated 20 Jan 2005 YAKS - Yet Another Khepera Simulator

Screenshot
Pop 23.83
Vit 1.17

YAKS - Yet Another Khepera Simulator, is a Khepera simulator that uses prerecorded sensor values from a real robot in order to provide simulation speeds of 3600 times reality. It has support for the infrared sensors, light sensors, K213 vision turret, gripper arm, and more. The simulator comes with a GTK interface, a genetic algorithm (GA), and an artificial neural net (ANN).

Download Website Updated 07 Sep 2001 Tux, of Math Command

Screenshot
Pop 31.46
Vit 1.00

"Tux, of Math Command" is an educational math tutorial game for elementary school level children. Like so many other Linux games, it stars Tux, the Linux Penguin. Players must answer math equations to shoot down comets which are falling towards their cities. It can run on Linux/UNIX, Win32, Mac, and BeOS.

Screenshot

Project Spotlight

congruity

A GUI application for programming Logitech Harmony remote controls.

Screenshot

Project Spotlight

OVAL Interpreter

A host-based vulnerability assessment tool that uses OVAL definitions.