- Linux (11)
- Grouping and Descriptive Categories (8)
- Mac (7)
- BSD (6)
- Windows (5)
- Other Operating Systems (3)
- Embedded Operating Systems (1)
- Artificial Intelligence
- Electronic Design Automation (EDA)
- Test and Measurement
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.54 weekly downloads
DRINKS is a set of smart web-based widgets.3 weekly downloads
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.3 weekly downloads
JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,1 weekly downloads
The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.1 weekly downloads
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
Belle is a generic higher order theorem prover in the style of Isabelle.
Confluence is a functional programming language for digital logic design.
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>