Open Source OCaml (Objective Caml) Logging Software
Sort By:
OCaml (Objective Caml) Logging Software
View 1979 business solutionsBrowse free open source OCaml (Objective Caml) Logging Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Logging Software by OS, license, language, programming language, and project status.
-
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
Iris Powered By Generali - Iris puts your customer in control of their identity.Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
-
1
MonPoly
A monitor for MFOTL specifications
MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf. The development repository has moved to https://bitbucket.org/monpoly/monpoly.
- Previous
- You're on page 1
- Next
