Logiciel Télécharger Carte

MyPhpMoney is a tool written in PHP to manage bank accounts through a Web interface. It uses MySQL to store data and relies on the PHPLIB (template, session, and database abstraction).

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

GeneWeb is a system for people who want to publish their genealogy data on the Web. It can also be used locally (not connected on the net) as a normal genealogy program. It uses very efficient techniques of relationship and consanguinity computing, speaks several languages, and can run in conjunction with an existing Web server (CGI) or standalone using its own internal server.

pxpvalidate is based on the XML parser PXP, and
simply checks XML files for errors. Both
violations of well-formedness and validation
constraints are discovered. It can process
namespaces and even validate documents using
namespaces.

XSPP (XSL Preprocessor) offers alternative syntax for creating XSLT stylesheets. It alo supports macro expansion, and is written in OCaml.

SMLserver is a Web server plugin for AOLserver, an
Open Source multi-threaded Web server provided by
America Online and used for large-scale, dynamic
Web sites. SMLserver allows efficient threaded
execution of Standard ML programs and inherits
many of the great features of AOLserver, including
the possibility of accessing a variety of
different relational database management systems
(RDBMSs), such as Oracle, MySQL, and PostgreSQL.

Camlserv is a lightweight Web server written in Ocaml for highly interactive Web pages or even online browser-based games. The server can already be used as a fast frontend to a MySQL database.

FaCiLe is a constraint programming library over integer finite domain written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints, and search goals. It also allows you to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user.

mathplot is an interactive function grapher. It supports equations, inequations, displaying tangent, finding roots, extrema, and the intersection of 2 functions, and much more.

Bibgrep indexes and efficiently searches BibTex
files. Its usage is similar to the command grep
and the queries use a Google-like syntax. Bibgrep
will create an index for each BibTex file it
touches, and keep the result within
"~/.bibgrep.idx" (by defaults). It watches the
modification date and the size of the original
BibTex file, and will update (and delete) its
index as needed.

BBSzilla is an extension for Mozilla-based browsers such as
the Mozilla Application Suite and Firefox. It gives the browser
the ability to connect to Bulletin Board Systems that utilize
TCP/IP, such as Hotline servers. There is functionality for
multi-user chat, single-user messaging, as well as server-side and P2P file sharing, threaded news, single-thread
bulletins, and more.