RSS 2 projects tagged "Mac OS X"

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 70.94
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).

Download Website Updated 18 Sep 2006 Alice ML

Screenshot
Pop 35.07
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

Open Camera

A camera app for Android.

Screenshot

Project Spotlight

Collax V-Cube+

Virtualization and HA Management of virtual machines and embedded HA Storage.