188 projects tagged "Mac OS X"
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
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.
Updated 15 Nov 2010
AGPF KeyRec
| Pop | 27.64 |
|---|---|
| Vit | 30.26 |
AGPF KeyRec is powerful software to recover the default WPA passphrases of the specified models of Telecom Italia's AGPF routers.
Updated 24 Feb 2013
ANNFiD
| Pop | 108.09 |
|---|---|
| Vit | 1.21 |
ANNFiD is an experimental forensic tool that identifies file types using neural networks. A GUI tool is used to train the network for new file types. It is intended to be used to determine the nature of corrupted files.
Updated 28 Mar 2006
Access Point Utilities for Unix
| Pop | 223.99 |
|---|---|
| Vit | 7.73 |
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.
Updated 17 Nov 2002
Account Services Manager
| Pop | 136.77 |
|---|---|
| Vit | 3.13 |
The Account Services Manager allows Web hosting companies to easily automate the time consuming tasks of managing mail, FTP accounts, and more by giving the power to individual clients via a Web-based interface.
Updated 25 Apr 2010
Aircrack-ng
| Pop | 365.57 |
|---|---|
| Vit | 7.03 |
aircrack-ng is a set of tools for auditing wireless networks. It's an enhanced/reborn version of aircrack. It consists of airodump (an 802.11 packet capture program), aireplay (an 802.11 packet injection program), aircrack (static WEP and WPA-PSK cracking), airdecap (decrypts WEP/WPA capture files), and some tools to handle capture files (merge, convert, etc.).
Updated 04 Mar 2008
AnyClient
| Pop | 35.50 |
|---|---|
| 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.
Updated 05 Jan 2004
Big Brother
| Pop | 267.67 |
|---|---|
| Vit | 7.22 |
Big Brother is a combination of monitoring methods. Unlike SNMP where information is just collected and devices polled, Big Brother is designed in such a way that each local system broadcasts its own information to a central location. Simultaneously, Big Brother also polls all networked systems from a central location. This creates a highly efficient and redundant method for proactive network monitoring.
Updated 03 Mar 2013
Botan
| Pop | 642.36 |
|---|---|
| Vit | 95.03 |
Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.
Updated 11 Aug 2005
Burp spider
| Pop | 41.79 |
|---|---|
| Vit | 1.88 |
Burp spider is a tool for enumerating Web-enabled applications. It uses various intelligent techniques to generate a comprehensive inventory of an application's content and functionality. Key features include parsers for HTML and JavaScript, presentation of findings in tree and table formats, handling of HTML forms with automatic or user-guided form submission, authentication to protected areas of the application using supplied credentials, cookie processing, detection of custom "not found" responses, fine-grained scope control, SSL support, identification of dynamic "application" pages which use data parameters or are session-dependent, and IDS evasion techniques.
