RSS 1806 projects tagged "BSD Revised"

Download Website Updated 30 Nov 2004 NNTPSwitch

Screenshot
Pop 40.25
Vit 2.18

NNTPSwitch is a Linux NNTP content router. It's aimed at high-performance news servers for ISPs and Usenet resellers. NNTPSwitch forwards client connections to multiple backend servers to get its actual articles. Depending on the backend server type, all NNTP commands and extensions are supported, including (remote) authorization. Accounting is supported in a user-friendly matter for data limited NNTP connections.

Download Website Updated 04 Jun 2003 trickle

Screenshot
Pop 113.74
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 20.83
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.91
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 83.77
Vit 11.63

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 21.33
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 24.39
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 167.00
Vit 9.74

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 49.97
Vit 6.71

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.77
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.

Screenshot

Project Spotlight

SeaMonkey

An all-in-one Internet application suite.

Screenshot

Project Spotlight

fcmm

A fast concurrent memoization map.