- OSI-Approved Open Source (31)
- Public Domain (3)
- Linux (34)
- Mac (26)
- Grouping and Descriptive Categories (24)
- Android (18)
- BSD (10)
- Modern (10)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.1 weekly downloads
VSYML is an automated symbolic simulator for VHDL designs.1 weekly downloads
Felix programming language specifications and translator1 weekly downloads
New targets for haxe compiler: 1S v 8.x and 7.71 weekly downloads
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.1 weekly downloads
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
The Hybrid Calculus of Wrapped Compartments is a language for the modelling of biological processes; it combines the precision of a stochastic approach with the efficiency of a ODE-based one. HCWC-sim is a OCaml implementation of the HCWC calculus.
OCaml FEM provides a set of libraries to facilitate writing of finite element codes in OCaml (http://caml.inria.fr/). It provides uniform interaction with several meshers, examples of FEM code using Lacaml.
Generic Optimization Library
Simple, lightweight program for plotting 3d paths in realtime with interactive rotation and zoom.