- Linux (15)
- Mac (12)
- Windows (12)
- Grouping and Descriptive Categories (11)
- BSD (7)
- Modern (7)
- Android (6)
- Other Operating Systems (3)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A collection of machine-checkend mathematical proofs20 weekly downloads
OCaml Input/Output interface and the reference implementation.
DRINKS is a set of smart web-based widgets.1 weekly downloads
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.33 weekly downloads
Fifth is a exciting project to develop a new programming language that has all the capabilityits of C to develop low-level drivers, but uses a postfix syntax and has many high-level features from LISP and ML.1 weekly downloads
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.51 weekly downloads
The Ivory Programming Language: A modern language for systems programming
The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.
Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.1 weekly downloads
The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.
Meta Language for FM sound synthesis. No modulator limits, a functionnal syntax (like ML)...1 weekly downloads
This project is for credit in UIUC's CS327 Software Engineering class. This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.1 weekly downloads
Dirfreak is a file organizational tool which catagorizes files using various methods, including file name, size, and date. Methods of sorting can be specified on either the command line or in a configuration file, allowing automation of the sorting task.1 weekly downloads
HOL4 mechanisation of Martelli and Montanari's paper on linear unification.