30 projects tagged "ML"

Download Website Updated 16 Mar 2014 FFTW

Screenshot
Pop 527.38
Vit 46.82

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

Download Website Updated 31 May 2003 GeneWeb

Screenshot
Pop 110.09
Vit 5.98

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 69.36
Vit 3.16

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 23.75
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 59.25
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 15 Mar 2002 Polymorphic XML Parser

Screenshot
Pop 31.24
Vit 1.84

PXP is a validating XML parser for the programming language Objective Caml. It strictly implements the full XML-1.0 standard. The XML instance is represented as a tree of objects. It is also possible to access the DTD. PXP means "Polymorphic XML parser" and emphasizes its most useful property: that the API is polymorphic and can be configured such that different classes are used to store different types of elements. PXP contains a user's manual and several example, and has been designed with CGI programming in mind, however is not limited to this field.

Download Website Updated 30 Apr 2008 SML/NJ

Screenshot
Pop 148.67
Vit 10.34

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 40.89
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 453.41
Vit 5.61

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

Screenshot

Project Spotlight

KaHIP

A family of graph partitioning programs.

Screenshot

Project Spotlight

GroupOffice groupware and CRM

Groupware that lets you share projects, calendars, files, and email online.