RSS 3 projects tagged "Public Domain"

No download Website Updated 06 Mar 2003 A practical lambda-calculator

Screenshot
Pop 24.41
Vit 2.17

A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.

No download Website Updated 13 Dec 2004 GeBoP

Screenshot
Pop 10.68
Vit 58.41

GeBoP stands for General Boardgames Player. GeBoP allows you to play 9 strategic boardgames against the computer or against another player. You can even watch a number of computer players fight among themselves. Some of the games can be played with a variable number of players, and other games can be played on various board sizes. GeBoP features a unified best move engine. Because of this, additional strategic boardgames are easy to add to the application.

Download Website Updated 01 May 2007 RSA-Haskell

Screenshot
Pop 55.15
Vit 3.01

RSA-Haskell is a collection of command-line cryptography tools and a cryptography library written in Haskell. It is intended to be useful to anyone who wants to secure files or communications or who wants to incorporate cryptography in their Haskell application. The libraries include Haskell implementations of SHA1, EME-OAEP, EMSA-PSS, MGF, RSAES-OAEP, and RSA-PSS. These standards implement signature/verification, strong cryptography, and hashing.

Screenshot

Project Spotlight

libntru

A C implementation of NTRUEncrypt.

Screenshot

Project Spotlight

Fosfat

A library and a tool for a read-only access on a Smaky disk.