RSS 13 projects tagged "Windows"

Download Website Updated 04 Mar 2008 RadialNet

Screenshot
Pop 61.82
Vit 2.47

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.

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 18 Dec 2004 MpNT

Screenshot
Pop 18.97
Vit 58.36

MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may also be used in any other domain where efficient large number computations are required. The library supports integer, modular, and floating point arithmetic with practically unlimited precision. It is both speed efficient and highly portable without disregarding code structure and clarity.

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 No website Updated 25 May 2004 Project Lima

Screenshot
Pop 12.25
Vit 1.00

Project Lima is a software tool for factorizing arbitrary integers using probabilistic algorithms and distributed computing methods.

Download No website Updated 30 Jul 2005 NetLinx Diagnostic and Control

Screenshot
Pop 23.56
Vit 3.25

NetLinx Diagnostic and Control is software that allows full control of all NetLinx interfaces and all equipment connected to AXLink, ICSNet, or ICSHub.

No download Website Updated 14 Jun 2003 Tutorial Environment for Cryptographic Pro...

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

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 74.23
Vit 5.91

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.

Download Website Updated 11 Mar 2003 Invisible IRC Project

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

Download Website Updated 26 Oct 2002 OpenAI

Screenshot
Pop 115.15
Vit 2.93

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.

Screenshot

Project Spotlight

TCPDF

A PHP class for generating PDF documents.

Screenshot

Project Spotlight

TeaVM

JVM bytecode to JavaScript compiler