RSS 16 projects tagged "English (US)"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 33.30
Vit 4.60

CDSChecker is a stateless model checker for C11/C++11 atomics.

Download No website Updated 05 Dec 2012 Cash

Screenshot
Pop 63.40
Vit 3.31

Cash is a shell written in C for Linux. As of now, it is rather minimal, and in the Alpha phase. It has tab completion, keeps a history file in the user's home directory, and has emacs-like line editing. More features will be added regularly.

No download Website Updated 20 Feb 2013 DOLPHIN SMASH

Screenshot
Pop 193.98
Vit 42.93

Dolphin Smash is a mixed-signal, multi-language simulator for IC or PCB designs. It uses SPICE syntax for analog descriptions, Verilog-HDL and VHDL for digital, Verilog-A/AMS, VHDL-AMS and ABCD (a combination of SPICE and C) for analog behavioral, and C for DSP algorithms.

No download No website Updated 31 Oct 2010 DragonFly BSD

Screenshot
Pop 89.87
Vit 3.66

DragonFly belongs to the same class of operating systems as other BSD-derived systems and Linux. It is based on the same Unix ideals and APIs and shares ancestor code with other BSD operating systems. DragonFly is differentiated from other operating systems in its class by, among others, the HAMMER file system, Virtual Kernels, swapcache, and the pervasive use of soft token locks. DragonFly provides an opportunity for the BSD base to grow in an entirely different direction from the ones taken in the FreeBSD, NetBSD, and OpenBSD series.

No download Website Updated 08 Feb 2011 DynArray

Screenshot
Pop 24.37
Vit 28.92

DynArray is a C header full of X-Macros for easily creating and manipulating dynamically resizing arrays.

No download No website Updated 20 Jan 2011 Howl Network Exploitation Tool

Screenshot
Pop 15.03
Vit 29.26

Howl is a multi-purpose network exploitation tool that can currently handle ARP poisoning, DNS poisoning, DHCP exhaustion (LAN or WLAN), packet flooding, MAC flooding, and serving of HTML files to a DNS poisoned victim, all at the same time.

Download No website Updated 05 Apr 2011 MakePAK

Screenshot
Pop 24.27
Vit 1.46

MakePAK is a command-line tool for creating Quake .PAK files. It is supposed to be paired with PhysicsFS, which can read Quake .PAK archives. It follows the GNU standards, providing a portable, consistent, and complete utility.

No download No website Updated 26 May 2011 Packet Controller

Screenshot
Pop 17.32
Vit 27.06

Packet Controller is a turnkey bandwidth management platform that allows you to limit, monitor, and prioritise IP traffic by IP address, VLAN, and application.

Download No website Updated 18 Nov 2012 Rlogin

Screenshot
Pop 22.29
Vit 1.00

Rlogin is a remote shell client (like SSH), which is designed to be fast and small. It is not encrypted, which may have some small drawbacks in high security environments, but it is able to operate at very high speeds. Both the server and client do not use very much memory.

No download No website Updated 26 Apr 2011 STiB

Screenshot
Pop 25.73
Vit 27.57

STiB implements the client portion of the Microsoft BITS Upload Protocol, which is an extension to HTTP 1.1. BITS is a Windows service that manages file transfers to and from Web servers. BITS downloads use HTTP, but uploads use a proprietary extension. BITS is a highly used service, since it is responsible for downloading Windows patches and service packs.

Screenshot

Project Spotlight

Units of measurement for Ada

A library for dealing with dimensioned values.

Screenshot

Project Spotlight

Thinknowlogy

Grammar-based software designed to utilize the logic contained within grammar.