Simple Project List Software Map

30 projects in result set
LastUpdate: 2008-03-14 01:44

Unison

Unison is a file-synchronization tool for Unix and Windows. It allows two copies of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other. Unison can deal with updates to both replicas of a distributed directory structure. Updates that do not conflict are propagated automatically. Conflicting updates are detected and displayed. Unison can communicate through a direct socket link or through an rsh/ssh tunnel. It uses network bandwidth efficiently.

LastUpdate: 2014-03-16 20:55

FFTW

FFTW is a fast C FFT library. It includes complex, real, symmetric, multidimensional, and parallel transforms, and can handle arbitrary array sizes efficiently.It is typically faster than other freely available FFT implementations, and is even competitive with vendor-tuned libraries (benchmarks are available at the homepage). To achieve this performance, it uses novel code generation and runtime self optimization techniques (along with many other tricks).

LastUpdate: 2003-04-03 14:23

MyPhpMoney

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).

(Machine Translation)
LastUpdate: 2005-12-06 13:52

MLton

MLton is a whole-program optimizing Standard ML compiler. It generates standalone executables with excellent runtime performance, supports the full SML 97 language, and has a complete basis library. It also has a fast C FFI, source-level time and allocation profiling, and many useful libraries.

LastUpdate: 2008-04-30 23:19

SML/NJ

sml/nj (Standard ML of New Jersey) consists of a compiler, compilation manager, and libraries for Standard ML. Included are CML (Concurrent ML) and eXene (a toolkit for X based on CML). The compiler produces efficient code for most popular architectures (Intel x86, Sparc, Alpha, Mips, HP-PA, PowerPC) and runs under Unix, Linux, or Windows (95,98,NT).

LastUpdate: 2003-05-31 15:28

GeneWeb

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.

(Machine Translation)
LastUpdate: 2012-07-28 04:52

HOL

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.

(Machine Translation)
LastUpdate: 2001-05-10 16:18

mGTK

mGTK is glue code to make GTK+ accessible from Standard ML. It provides a convenient way for SML programmers to add GUI features to an applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.

(Machine Translation)
LastUpdate: 2005-06-27 12:39

AK Web Dyn Designer

The 'AK Web Dyn Designer' is a tool for creating and deploying dynamic Web pages with PHP, XML, and JDBC in a three-tiered model. It provides a
user-friendly GUI with drag 'n drop capability,
with no need for the users to have any specific
programming knowledge. It consists of a client and a server. The client is used to develop Web forms with an SQL query builder that associates queries to Web components. The server accepts deployments from the client and serves pages to Web browsers.

(Machine Translation)
LastUpdate: 2002-05-20 12:00

XSL Preprocessor

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

(Machine Translation)
LastUpdate: 2001-07-04 14:35

FaCiLe

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.

(Machine Translation)
LastUpdate: 2003-08-20 06:33

JSON for Objective Caml

JSON for Objective Caml is an implementation of
the JavaScript Object Notation for the Objective
Caml programming language. JSON is a lightweight
data interchange format presented as a simpler and
thinner alternative to XML. For more information
on JSON, visit
http://www.crockford.com/JSON/index.html.

(Machine Translation)
LastUpdate: 2004-02-10 14:00

bibgrep

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.

(Machine Translation)
LastUpdate: 2002-02-06 05:09

ML Kit

ML Kit is a compiler for the programming language
Standard ML.

(Machine Translation)
LastUpdate: 2003-04-02 03:22

WDialog

WDialog is a system to make dialog-centric Web applications. It imitates the
behavior of widgets found in GUIs, but acts in an HTML/HTTP environment. It
uses its own XML-based UI language, but callbacks are coded in a normal
programming language: either O'Caml or Perl. WDialog is written in Objective
Caml, an ML variant.

(Machine Translation)