Applicative

Symfony is a PHP framework project aims to speed up the creation and maintenance of web applications, and also to replace the repetitive coding tasks by power, control and pleasure. This framework features for easy to install on any configuration because very small number of prerequisites, only...


Platforms: PHP

Team Write 1.x is a full XML collaborative web service which allows several users, in real time, to write and read (WYSIWYG) simultaneously on the same TXT document, through a navigator (Java interface) or with an EXE-client (win 32). Team write is an applicative service of the last generation....


Platforms: Windows

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

Oreon Project provide enterprise monitoring based on Nagios core. It offers a complete tool from administration to reporting/visualization with the most powerful monitoring and alerting engine. It ables you to be more efficient in your network monitoring, but also allows you to make your...


Platforms: *nix

About BolinOS The near-OSX GUI modular publication and communication platform for Internet / Web developed in order to enable simple management of complex multimedia portals. It uses standard open-source software: PHP, Apache, mySQL and was developped in order to offer a simple and efficient...


Platforms: Mac

TypeCompose is a free and open source Haskell library that provides some classes and instances for forms of type composition, as well as some other modules. The Control.Compose module includes: ?*A* Various type compositions (unary/unary, binary/unary, etc). Most are from Applicative Programming...


Platforms: Mac