Mecanism

ReSiCA-PHP is an implementation of a very simple centralized authentication mecanism, written in PHP.Several web application running on distinct servers share the same database of accounts. Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Auth MemCookie is an Apache v2 authentification and authorization modules are based on "cookie" authentification mecanism. The module dont make authentification by it self, but verify if authentification "the cookie" are valid for each url protected by the module. The module validate also if... Platforms: *nix

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM. Platforms: Windows, Mac, Linux

A meta package-manager to deploy projects on UNIX Systemes sponsored by Makina Corpus. FEATURES; * Auto Update system. When minimerge upgrade (easy_install -U), we have now the infrastructure to run update callbacks. * Now minibuilds have revisions, this can facilitate their reinstallation as... Platforms: *nix

Plomino is a ZOPE/Plone product that allows you to build business applications in a Lotus Domino-like way. Using Plone-specific screens (nothing is done through the ZMI), users can design databases to handle documents with multiple forms and views. Plomino supports user-defined actions,... Platforms: *nix

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software... Platforms: Mac

Mac OS X intoduced an innovative and very useful way to package applications: app bundles. While their design has all that is needed to ease distribution of resources and frameworks, it seems like dynamic libraries (.dylib) are very complicated to distribute. Sure, applications developed... Platforms: Mac