Formal

SiG Information Generator provides a class for persistant objects in PHP. SiG allows developers to create, store, retrieve, and search any custom PHP object. Using the Node base class one can create hierachies of related classes. It has been repackaged as a Wordpress Plugin. SiG is written in...

PyWork is a high performance Python Web framework. The author has been developing web applications for years. In this journey several tools and well known languages where used before meeting Python. I am not going to explain all the great things Python does and gives, but in these advantages,...

dbacl - a digramic Bayesian classifier The dbacl project consist of a set of lightweight UNIX/POSIX utilities which can be used, either directly or in shell scripts, to classify text documents automatically, according to Bayesian statistical principles. dbacl(1) is also the name of the core...


Platforms: *nix, C/C++, BSD

cpphs is a liberalised re-implementation of cpp, the C pre-processor, in Haskell. Why re-implement cpp? Rightly or wrongly, the C pre-processor is widely used in Haskell source code. It enables conditional compilation for different compilers, different versions of the same compiler, and...


Platforms: *nix

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...


Platforms: *nix

NPI is a simple calculator that supports Reverse Polish Notation, devised by Jan Lukasiewicz in the Twenties to allow evaluation of mathematical expressions without brackets. NPI calculator supports completion and command history. In the Twenties, Jan Lukasiewicz developed a system of formal...


Platforms: *nix

EasyBMP is a simple, cross-platform C++ library designed for easily reading, writing, and modifying Windows bitmap (BMP) image files. You can learn more about the history and goals of the project here. The library is oriented towards the novice programmer with little formal experience, but it...


Platforms: *nix

Math::Group::Thompson Perl module contains OO methods that calculates the cardinality of the ball of radius n of Thompson group F. SYNOPSIS use Math::Group::Thompson; my $F = Math::Group::Thompson->new( VERBOSE => 0 ); my $card = $F->cardBn(3,); print "#B(3) = $cardn"; The...


Platforms: *nix

rPath Linux is a freely-available Linux operating system distribution, built with the Conary distributed software management system, supported and maintained by rPath, Inc. The rPath Linux distribution contains high-quality, up-to-date software, and is the base development platform for creating...


Platforms: *nix

METAGRAF is a drawing application for TeX trough MetaPost. METAGRAF ave been tested in Linux, SuSE. A few examples used in testing as been included in the directory files. They can (and should) be removed after testing them. Metagraf-5 needs imperatively to run Java-5. It can be downloaded...


Platforms: *nix

Acovea implements a genetic algorithm for finding the "best" options for compiling programs with the GCC C and C++ compilers. ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling programs with the GNU Compiler...


Platforms: *nix

Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris: high-level tracer, a tool that detects the logic used...


Platforms: *nix

Xj3D is a project focussed on creating a toolkit for VRML97 and X3D content written completely in Java. This toolkit may be used to the import VRML content into your custom application, or to create a fully-fledged browser. Development is financially supported through a number of institutes and...


Platforms: *nix

ToneTester is a Macintosh application that tests hearing. Specifically, it looks for offsets in how each of a person's ears hears pitch (the formal term for this is "binaural diplacusis" or "interaural pitch difference"). To use it, you adjust a slider until your ears hear the same pitch, and...


Platforms: Mac

TinyCAD is a program to help you draw circuit diagrams. It comes complete with symbol libraries to get you started straight away. As well as being able to simply print your designs, you can use TinyCAD to publish your drawings by copying and pasting into a Word document or saving as a PNG bitmap...


Platforms: Windows

Learn Spanish vocabulary using various word games and puzzles. Fun and easy to use. Words are grouped into categories for easy learning. Amigos Spanish Puzzles also provides a great variety of games and puzzles for a less formal learning environment. Choose from crossword puzzles, word search...


Platforms: Mac

An export plugin for iPhoto 7 which allows you to export metadata about your iPhoto library photos, including: - Comments - comments about the photo. - Archival Date - Archival date of the photo. - A Creation Date - Creation date of the photo. - Modification Date - Modification date of the...


Platforms: Mac

EPUB-Checker is a small utility designed to enable you to verify your EPUB files. In addition to validating your EPUB's, which means checking the formal structure against the official EPUB specification, you can also perform a preflight. The preflight checks for e.g. missing or incorrectly linked...


Platforms: Windows

VisualBee is a new exciting software service for automatic enhancement of Microsoft PowerPoint presentations. VisualBee for Microsoft PowerPoint add-on will analyze the presentation text and structure, and will build a new professionally designed PowerPoint presentation with new PowerPoint...


Platforms: Windows

PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use. PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and...


Platforms: Windows