1817 projects tagged "BSD Revised"

Download Website Updated 04 Jun 2003 trickle

Screenshot
Pop 101.59
Vit 2.48

trickle is a lightweight, portable, per-application bandwidth shaper. It works in collaboration, has peak detection, and does smoothing. trickle works entirely in userland and does not require root to run. It has been developed on OpenBSD and is known to run on Linux, FreeBSD, and Solaris.

Download Website Updated 09 Mar 2003 BOON

Screenshot
Pop 19.24
Vit 1.00

BOON is a tool for automatically finding buffer overrun vulnerabilities in C source code. It has many serious limitations and defects, and is not for the faint of heart.

No download Website Updated 22 Jun 2010 CCured

Screenshot
Pop 51.49
Vit 1.43

CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch. Many programs can be made memory-safe this way while losing only 10-60% run-time performance. CCured can find more bugs that Purify misses but with much less run-time cost.

No download Website Updated 25 Jul 2013 CIL (C Intermediate Language)

Screenshot
Pop 82.85
Vit 10.64

CIL is a frontend for the C programming language which facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL, all looping constructs are given a single form and expressions have no side effects. This reduces the number of cases which must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool which makes C programs memory safe. It supports ANSI C, as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop-in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses.

No download Website Updated 16 Jul 2006 Delta

Screenshot
Pop 24.70
Vit 2.07

Delta assists users in minimizing "interesting" files, subject to a test of their "interestingness". A common such situation is when attempting to isolate a small failure-inducing substring of a large input that causes a program to exhibit a bug.

Download Website Updated 13 Oct 2005 Xephyrus Data Structures Tag Library

Screenshot
Pop 22.47
Vit 2.55

The Xephyrus Data Structures Tag Library provides an easy way to create and manipulate the contents of common Java data structures such as maps and lists from within JSPs using tags.

No download Website Updated 18 Jul 2012 The Contiki Operating System

Screenshot
Pop 177.09
Vit 9.40

Contiki is an open source, highly portable, networked, multi-tasking operating system for the Internet of Things. Contiki includes a multitasking kernel, a TCP/IP stack and a set of application programs, and a low-power radio communication stack. It is written in C and designed to be very small: it runs comfortably in a few kilobytes of RAM.

Download Website Updated 28 Jul 2012 HOL

Screenshot
Pop 51.91
Vit 6.47

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Download Website Updated 06 Mar 2004 Languenet

Screenshot
Pop 23.66
Vit 2.77

Languenet is a PHP application originally written for Language departments of Universities, allowing users to register for educational courses online and administrators to manage course data, add grades, print certificates, and more. The whole program is accessible by a simple browser. It is currently only available in German.

Download Website Updated 16 Mar 2003 HLife

Screenshot
Pop 25.92
Vit 1.00

HLife, short for Haskell Life, is an implementation of a cellular automata engine in Haskell. It was designed to be as fast as possible while still having an unbounded universe.

Screenshot

Project Spotlight

qooxdoo

A universal JavaScript framework.

Screenshot

Project Spotlight

phpMyAdmin

A tool that handles the basic administration of MySQL over the Web.