RSS 16 projects tagged "POSIX"

Download Website Updated 31 May 2003 GeneWeb

Screenshot
Pop 114.63
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 21 Mar 2006 Isabelle

Screenshot
Pop 68.99
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

No download Website Updated 22 Feb 2003 mathplot

Screenshot
Pop 24.49
Vit 2.33

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

No download Website Updated 06 Dec 2005 MLton

Screenshot
Pop 57.24
Vit 4.05

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 143.62
Vit 10.39

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 07 Mar 2002 SwiftSurf

Screenshot
Pop 42.99
Vit 3.78

SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific domain, or suppressing cookies.

Download Website Updated 14 Mar 2008 Unison

Screenshot
Pop 437.10
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 13.89
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.

No download Website Updated 02 Feb 2002 SMLserver

Screenshot
Pop 9.49
Vit 66.81

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.

Download Website Updated 06 Feb 2002 ML Kit

Screenshot
Pop 16.06
Vit 66.78

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

Screenshot

Project Spotlight

Ultra

A Web server with an in-built data store.

Screenshot

Project Spotlight

ECMA-55 Minimal BASIC

A minimal BASIC compiler.