RSS 9 projects tagged "Windows"

Download Website Updated 31 May 2003 GeneWeb

Screenshot
Pop 115.15
Vit 5.99

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.

No download Website Updated 06 Dec 2005 MLton

Screenshot
Pop 58.58
Vit 4.06

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.

Download Website Updated 30 Apr 2008 SML/NJ

Screenshot
Pop 146.97
Vit 10.40

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

Download Website Updated 14 Mar 2008 Unison

Screenshot
Pop 439.83
Vit 5.64

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.

Download Website Updated 10 May 2001 mGTK

Screenshot
Pop 14.18
Vit 1.00

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.

Download Website Updated 28 Jul 2012 HOL

Screenshot
Pop 50.41
Vit 6.72

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.

Download Website Updated 10 Feb 2004 bibgrep

Screenshot
Pop 24.66
Vit 1.04

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.

Download Website Updated 03 May 2003 Moscow ML

Screenshot
Pop 18.17
Vit 1.00

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Download Website Updated 18 Sep 2006 Alice ML

Screenshot
Pop 34.81
Vit 1.55

Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.

Screenshot

Project Spotlight

Imperialism Remake

A remake of the classic strategy game Imperialism.

Screenshot

Project Spotlight

Galera wsrep provider

A generic synchronous replication engine for transactional applications.