RSS 32 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 07 May 2001 Alamin GSM SMS Gateway

Screenshot
Pop 210.63
Vit 2.73

The Alamin GSM SMS Gateway is a group of daemons that allows you to send/receive SMS messages from any GSM device that supports AT+ commands (GSM modems or GSM mobile phones) or supported by Gnokii. A client program allows you to send messages from any IP client. An SMTP interface is provided to allow MTAs to send SMS directly to the GSM network. IMP (Incoming Message Processor) modules allows you to extend functionality to implement banking, network administration, bd querys, etc. from a GSM mobile phone.

Download Website Updated 04 Mar 2008 AnyClient

Screenshot
Pop 28.57
Vit 1.43

AnyClient is a platform-independent file transfer application that supports all major file transfer protocols including FTP/S, SFTP, and WebDAV/S. It is available both as a Web-based service requiring no software installation, and as a downloadable application that you can install locally.

Download Website Updated 13 Dec 2001 CDSA 2

Screenshot
Pop 40.62
Vit 1.49

CDSA stands for Common Data Security Architecture. It provides a security framework that includes cryptographically signed modules to present an abstracted unified API to the application developer to perform cryptographic and security related operations. It also includes hardware support for cryptographic tokens and biometric devices, such as thumbprint scanners. Intel has implemented the CDSA 2 specification and released it as open source.

Download Website Updated 18 Aug 2008 Cryptographic Implementations Analysis Too...

Screenshot
Pop 37.09
Vit 1.00

The Cryptographic Implementations Analysis Toolkit (CIAT) is a compendium of command line and graphical tools whose aim is to help in the detection and analysis of encrypted byte sequences within files (executable and non-executable). It is particularly helpful in the forensic analysis and reverse engineering of malware using cryptographic code and encrypted payloads.

Download Website Updated 08 Jan 2006 Deep Network Analyzer

Screenshot
Pop 68.12
Vit 2.05

DNA (Deep Network Analyzer) is an open, flexible, and extensible deep network analyzer server and software architecture for passively gathering and analyzing network packets, network sessions, and applications protocols. DNA is designed to be used for Internet security, intrusion detection, network management, protocol and network analysis, information gathering, and network monitoring applications.

Download Website Updated 01 Apr 2000 FrazierWall

Screenshot
Pop 41.28
Vit 71.60

FrazierWall Linux is a single floppy distribution Linux firewall that is based on the Linux Router Project. It is designed for use with ethernet base internet connections (such as cable modems or xDSL lines). It allows you to share such a connection with several other computers on a LAN. It is easy to setup and maintain, and is available in a Linux configurable software version.

No download Website Updated 12 Sep 2004 General Purpose Hash Function Library

Screenshot
Pop 42.05
Vit 1.42

The General Purpose Hash Function Algorithm library contains implementations for a series of commonly used additive and rotative string hashing algorithms in the C++ programming language.

Download Website Updated 22 Aug 2013 HighVIP

Screenshot
Pop 104.30
Vit 6.80

HighVIP allows users to send and receive secure and anonymous email, chat and exchange secure instant messages, and create secure message boards.

Download Website Updated 23 Dec 2003 Injector Linux

Screenshot
Pop 63.87
Vit 1.00

Injector Linux is a single-floppy Linux system, which supports many filesystems -- currently approximately 25. Because of its wide range of supported filesystems, it is very useful for disk rescue operations.

Screenshot

Project Spotlight

pgCluu

A PostgreSQL performance monitoring and auditing tool.

Screenshot

Project Spotlight

libcsdbg

A C++ exception stack tracer.