Search Results for "barbershop management system"

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.

..., and for the DataKitCI continuous integration system. src contains the main DataKit service. This is a Git-like database to which other services can connect. ci contains DataKitCI, a continuous integration system that uses DataKit to monitor repositories and store build results. The easiest way to use DataKit is to start both the server and the client in containers.

The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

This library provides an easy interface to Gnuplot (http://www.gnuplot.info/) from OCaml (http://caml.inria.fr/) for static 2D and 3D graphs and simple animations. This library aims to be portable on all platforms OCaml runs on.

This project models an In-Memory Relational Database Management System (RDBMS) using the paradigms of a Functional Language. In particular, we use a flavor of ML (Meta Language) called OCAML (Objective Caml) to implement a working RDBMS.