ManageEngine's Applications Manager is a comprehensive monitoring tool for business organizations across the world to ensure uninterrupted business operations and profitability. Globally, IT admins across 100+ countries trust Applications Manager's capability in tackling critical issues and ensuring maximum efficiency among business critical servers. It is easy to use and supports a wide range of servers. Download now for a 30 day free trial.Is your IT/network healthy & optimized for performance?Advertisement
- Grouping and Descriptive Categories (11)
- Linux (11)
- Mac (10)
- Windows (10)
- BSD (5)
- Modern (5)
- Android (3)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
banshee-- A toolkit for building constraint-based program analyses8 weekly downloads
A collection of machine-checkend mathematical proofs1 weekly downloads
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.1 weekly downloads
A command-line utility for image processing.
Camlp4 extension to check code coverage of any OCaml code
A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.
Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.Advertisement
*** Moved to http://github.com/esumii/min-caml ***
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.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.