3 projects tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 86.07 |
|---|---|
| Vit | 5.65 |
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 26 Oct 2002
OpenAI
| Pop | 123.56 |
|---|---|
| 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 11 Mar 2003
Invisible IRC Project
| Pop | 60.07 |
|---|---|
| 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.
