RSS 497 projects tagged "Linux"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.94
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 15 Sep 2003 ADMLogger

Screenshot
Pop 24.80
Vit 1.75

ADMLogger is a log analyzing engine. Using this core, users could easily build upon it with plugins. With very little Perl programming knowledge, it may become a powerful tool in a System Administrator's toolbox. ADMLogger creates email reports that can be formatted plain text or full HTML, which is up to the plugin designers to support. The main system has an HTML preference, so if your plugin ignores it, so be it. ADMLogger will also remove all filtered entries from the main syslog file into a second file so your other entries are more noticable.

No download Website Updated 20 Feb 2002 ADSL4Linux

Screenshot
Pop 37.31
Vit 3.11

ADSL4Linux is a program to install ADSL under Linux in the easiest way possible. The install script consists of 3 easy steps and it does not require any deep knowledge of Linux. It currently only works for MXStream by KPN in the Netherlands.

Download No website Updated 12 Mar 2014 ALT Linux

Screenshot
Pop 312.87
Vit 52.59

ALT Linux is a set of Linux distributions that are based on Sisyphus, an APT-enabled RPM package repository that aims to achieve feature completeness, usability, and security in a sensible and manageable mixture.

Download Website Updated 18 Sep 2007 ARPView

Screenshot
Pop 43.93
Vit 1.74

ARPView is a graphical user interface module for arpalert for watching the network discovery as it happens.

Download Website Updated 28 Mar 2006 Access Point Utilities for Unix

Screenshot
Pop 213.86
Vit 7.57

Access Point Utilities for Unix is a set of utilities that configure and monitor a Wireless Access Point under Unix. It is known to compile (with GCC and the IBM C compiler) and run under Linux, FreeBSD, OpenBSD, MacOS X, AIX, and QNX.

Download Website Updated 01 Sep 2005 Accessfs

Screenshot
Pop 42.47
Vit 1.93

Accessfs is a file system to manage permissions. It is not very useful on its own. You need to load other modules like "User permission based IP ports" or "User permission based capabilities". With these modules there's no need anymore for most Internet daemons to run as root.

Download Website Updated 11 Nov 2004 Adams State College Authenticator

Screenshot
Pop 33.94
Vit 1.74

ASCA (Adams State College Authenticator) is designed to provide single-sign-on session management to a variety of Web services accessed via a Web portal environment for Adams State College. Services that can be used with the library include SCT Banner Web, Squirrel Mail, WebCT, and Novell Groupwise.

Download Website Updated 26 Jul 2001 Adeos Filesystem Security Scanner

Screenshot
Pop 26.55
Vit 68.18

Adeos Filesystem Security Scanner is an automated filesystem security scanner. It recursively walks all mounted filesystems on the local system, and attempts to identify common security concerns, such as SUID, and world-writeable files. The output is available as text or HTML, with either output type formatted in either report or list style. Text is written to stdout and may be redirected to a file, while HTML is written to a file named results.html in the local directory.

Download Website Updated 18 Aug 2001 AirSnort

Screenshot
Pop 152.70
Vit 1.00

AirSnort is a wireless LAN (WLAN) tool that recovers encryption keys. It operates by passively monitoring transmissions, computing the encryption key when enough packets have been gathered.

Screenshot

Project Spotlight

Dwarrendelf

A fairy tale RPG game for the Game Boy Advance.

Screenshot

Project Spotlight

FísicaLab

An educational application for solving physics problems.