RSS 281 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
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 Nov 2010 AGPF KeyRec

Screenshot
Pop 22.67
Vit 35.36

AGPF KeyRec is powerful software to recover the default WPA passphrases of the specified models of Telecom Italia's AGPF routers.

Download Website Updated 24 Feb 2013 ANNFiD

Screenshot
Pop 41.28
Vit 1.04

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.

Download Website Updated 01 Apr 2014 Aircrack-ng

Screenshot
Pop 635.72
Vit 63.04

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

Download Website Updated 14 Apr 2004 Akeni Jabber Client

Screenshot
Pop 38.34
Vit 1.48

Akeni Messenger Jabber Edition is a cross-platform client for Jabber compliant servers. It features an XML-based messaging protocol, private chatting, conference mode, broadcast messages to groups of people, message log, a typing indicator, a full-featured rich-text editor, emoticons, and powerful online presence management.

No download Website Updated 07 May 2001 Alamin GSM SMS Gateway

Screenshot
Pop 210.03
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.

No download Website Updated 20 Jan 2006 Aradial RADIUS server

Screenshot
Pop 28.62
Vit 1.00

Aradial RADIUS Server is a high performance RADIUS server with Tier 1 levels of reliability and scalability. It supports the latest RFCs, vendor specific attributes, and NAS templates, and has a multitude of pre-configured settings that support most access servers on the market today. It is based on a plugin architecture, which allows customization of the authentication and accounting logic outside of the core product. It is integrated with top billing solutions for ISP, WISP, Wifi, Hotspots, and VoIP.

Download Website Updated 07 Jul 2005 AutoNOC

Screenshot
Pop 98.79
Vit 2.31

AutoNOC is a high performance, production integrated, peer-to-peer network operations management platform for Windows and Linux. It provides real-time historical analysis, root cause, fault detection, reporting, alerts and alarms, and no-nonsense correlation. It is an interoperable vendor independent solution with built-in support for Microsoft, Cisco, Linux, IBM, and other major technologies. Additionally it offers many novel capabilities, including end user personalization, easy scalability, compressed historical databases, infinite histories, event archiving (it works as a syslog server), and multi-language support.

Download Website Updated 10 Sep 2008 AutoScan

Screenshot
Pop 166.64
Vit 7.17

AutoScan is an application designed to explore and manage your network. Entire subnets can be scanned simultaneously without human intervention. It features OS detection, automatic network discovery, a port scanner, a Nessus client, a Samba share browser, and the ability to save the network state.

Download Website Updated 12 Jul 2009 BeeCrypt

Screenshot
Pop 214.07
Vit 6.62

BeeCrypt is an ongoing project to provide strong and fast cryptography in the form of a toolkit usable by commercial and open source projects. Included in the library are entropy sources, random generators, block ciphers, hash functions, message authentication codes, multiprecision integer routines, and public key primitives.

Screenshot

Project Spotlight

Roxen WebServer

A platform-independent Webserver featuring strong encryption and SSL3.

Screenshot

Project Spotlight

Armadillo C++ Library

A fast C++ matrix library with an API similar to Matlab's.