You can start backing up your Hyper-V and VMware hosts in a matter of minutes. Then set up a backup schedule and replicate backups offsite for added disaster recovery. You can even granularly restore Files or Exchange Items directly, or instantly boot a VM from backup. Download today and get a chance to WIN a Nintendo Switch!Sponsored Listing
OSI-Approved Open Source (112)
- GNU General Public License version 2.0 (51)
- GNU Library or Lesser General Public License version 2.0 (24)
- BSD License (20)
- GNU General Public License version 3.0 (12)
- MIT License (9)
- GNU Library or Lesser General Public License version 3.0 (3)
- Academic Free License (2)
- Apache License V2.0 (2)
- Eclipse Public License (2)
- Qt Public License (2)
- Artistic License (1)
- Educational Community License, Version 2.0 (1)
- University of Illinois/NCSA Open Source License (1)
- Other License (3)
- Public Domain (2)
- Linux (120)
- Windows (114)
- Grouping and Descriptive Categories (86)
- Android (76)
- Modern (23)
- BSD (19)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
Felix programming language specifications and translator
ThousandEyes extends visibility across corporate networks as well as the public Internet, helping to solve issues from the branch through MPLS links and SIP trunks to service provider networks. Simulate pre-deployment capacity, monitor detailed performance metrics and see how QoS settings impact call quality.Sponsored Listing
ggelite aims to be a clone/improvement of the old eighty's game called "elite"
New targets for haxe compiler: 1S v 8.x and 7.7
Simple collection of Artificial Intelligence methods implemented in OCaml
Logic Data Base Designer
A generic C++ library for peptide simulations.
Discover Nintex Workflow Cloud - the fastest, easiest way to improve the way you do business. This state-of-the-art technology - built in the cloud, for the cloud - gives you the ability to create powerful, integrated workflows independent of any single platform. With our intuitive, drag-and-drop workflow design canvas, you can configure and deploy automated business processes with speed and simplicity. Try it today!Sponsored Listing
loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.
Memol is a well-structured music notation language focused on MIDI.
Simple, lightweight program for plotting 3d paths in realtime with interactive rotation and zoom.
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
OGit is a Just-In-Time compilation framework written in OCaml. It currently supports 2 different back-ends (LLVM and a proprietary one).
Other ML Sudoku. With Caml Light.
object oriented unit testing framework for ocaml
Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
A software for indexing and searching a samba based files sharing network.
SFMLML is an Objective Caml binding to the SFML library (http://sfml-dev.org). The SFML (simple and fast multimedia library) is a multimedia library. This binding allow you to use it in OCaml. This binding is now stable and complete.
abandoned project. No real need to do that.
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu