8 projects tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 86.26 |
|---|---|
| Vit | 5.64 |
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 18 Dec 2004
MpNT
| Pop | 19.90 |
|---|---|
| Vit | 55.49 |
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.
Updated 12 Sep 2004
General Purpose Hash Function Library
| Pop | 57.20 |
|---|---|
| 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 25 May 2004
Project Lima
| Pop | 11.66 |
|---|---|
| Vit | 1.00 |
Project Lima is a software tool for factorizing arbitrary integers using probabilistic algorithms and distributed computing methods.
Updated 14 Jun 2003
Tutorial Environment for Cryptographic Pro...
| Pop | 48.74 |
|---|---|
| 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 03 Mar 2013
Botan
| Pop | 644.61 |
|---|---|
| Vit | 91.59 |
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 21 Aug 2001
crank
| Pop | 129.03 |
|---|---|
| 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 30 Jan 2001
distributed.net clients
| Pop | 47.94 |
|---|---|
| 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).
