Search Results for "drcom-for-linux"
Sort By:
Showing 5 open source projects for "drcom-for-linux"
View related business solutions-
SysAid is an ITSM, Service Desk and Help Desk software solution that integrates all of the essential IT tools into one product. Its rich set of features include a powerful Help Desk, IT Asset Management, and other easy-to-use tools for analyzing and optimizing IT performance.
-
PRTG Network Monitor is an all-inclusive monitoring software solution developed by Paessler. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine, PRTG Network Monitor optimizes connections and workloads as well as reduces operational costs by avoiding outages while saving time and controlling service level agreements (SLAs). The solution is packed with specialized monitoring features that include flexible alerting, cluster failover solution, distributed monitoring, in-depth reporting, maps and dashboards, and more.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
AlgVar
Algorithmic Variations
An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages. -
3
Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.
-
4
-
Comet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
-
5
ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
- Previous
- You're on page 1
- Next