13 projects tagged "Windows"
Updated 07 May 2001
Alamin GSM SMS Gateway
| Pop | 190.64 |
|---|---|
| Vit | 2.74 |
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.
Updated 21 Aug 2001
crank
| Pop | 128.34 |
|---|---|
| Vit | 2.90 |
Crank is a project to provide a GUI toolkit to facilitate (and where possible, automate) the breaking of classical (pen-and-paper) cryptosystems. Initial focus is on the cryptanalysis of monoalphabetic substitution ciphers.
Updated 26 Oct 2002
OpenAI
| Pop | 123.42 |
|---|---|
| Vit | 2.94 |
The OpenAI site is centered around an Open Source project and community involving artificial intelligence. The project itself is the creation of a set of tools that are considered to be models of human intelligence or biomimicry. These tools are intended to be integrated into applications or used stand alone for research.
Updated 10 Jun 2011
Platform Independent Petri Net Editor
| Pop | 90.07 |
|---|---|
| Vit | 6.84 |
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Updated 11 Apr 2011
ACL2
| Pop | 86.44 |
|---|---|
| Vit | 5.63 |
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 04 Mar 2008
RadialNet
| Pop | 67.82 |
|---|---|
| Vit | 2.48 |
RadialNet is a network visualization tool. It consists in a graphical visualization of the networks mapped with Nmap, with some efforts to make it easy to find security problems.
Updated 11 Mar 2003
Invisible IRC Project
| Pop | 60.25 |
|---|---|
| Vit | 1.49 |
IIP (Invisible IRC Project) is Internet Relay Chat privacy software designed for anonymity and security. It acts as an advanced proxy between your IRC client and servers by utilizing an encrypted mixnet with fake traffic and 3- layered (user, relay, and broadcast) protection.
Updated 12 Sep 2004
General Purpose Hash Function Library
| Pop | 57.27 |
|---|---|
| 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.
Updated 14 Jun 2003
Tutorial Environment for Cryptographic Pro...
| Pop | 48.63 |
|---|---|
| Vit | 1.00 |
Tutorial Environment for Cryptographic Protocols (TECP) is a tutorial and visualization environment for public key cryptography. It is intended for students of cryptography courses and can be used to improve understanding of modular arithmetic-based public key algorithms, and for lecturers who want to add some life to boring blackboard-and-chalk presentations about the topic.
Updated 30 Jan 2001
distributed.net clients
| Pop | 47.59 |
|---|---|
| Vit | 1.80 |
distributed.net is a loosely knit group of computer users from all of the world that is taking up challenges requiring lots of computing power (most notably the RC5, DES, and OGR cracking contests). It is simple to participate in the challenges by downloading and running their client software (which uses idle CPU time to complete its tasks).
