RSS 238 projects tagged "Windows"

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

Screenshot
Pop 22.67
Vit 35.34

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

Download Website Updated 01 Apr 2014 Aircrack-ng

Screenshot
Pop 630.85
Vit 66.86

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

No download Website Updated 21 Aug 2008 Akeni Instant Messaging Server Pro

Screenshot
Pop 89.30
Vit 3.33

Akeni Instant Messaging Server Pro is a client/server instant messaging platform that allows companies to host their own secured private IM system. The client has an user interface similar to AIM, ICQ, or MSN Messenger. It supports all the standard IM features such as chat, group conference, presence management, file transfer, offline messages, and emergency alert/notification. Extra features include contact management and optional tabbed chat sessions. The server has advanced administration tools for managing user accounts, client-side logging capabilities, and peer-to-peer file transfers. It can be set up on a private network without connecting to the Internet, and can easily be set up for use inside and outside of the company firewall.

Download Website Updated 14 Apr 2004 Akeni Jabber Client

Screenshot
Pop 38.42
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.80
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.98
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 97.47
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 164.75
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.34
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

ABC Path Solver

An automated solver for the puzzle game ABC Path.

Screenshot

Project Spotlight

juntaDados

A GNU/Linux multimedia distribution that is targeted at audio, video, and graphics producers.