libptime-ocaml

POSIX time for OCaml (runtime)

Ptime has platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with RFC 3339 timestamps and pretty printing to a human-readable, locale-independent representation.

libvisp-vs3.5

visual servoing platform vs library

This package contains the ViSP (Visual Servoing Platform) visual serving (vs) runtime library.

quickchick

randomized testing framework for Coq (tools)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.

libocct-ocaf-7.6

Open CASCADE Technology application-specific data and functionality

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.

libexecline2.9

small and non-interactive scripting language (shared library)

Execline is a (non-interactive) scripting language, like sh; but its syntax is quite different from a traditional shell syntax. The execlineb program is meant to be used as an interpreter for a text file; the other commands are essentially useful inside an execlineb script.

ymuse

GTK client for Music Player Daemon (MPD) written in Go

Ymuse is an easy, functional, and snappy GTK front-end (client) for Music Player Daemon (https://www.musicpd.org/) written in Go. It supports both light and dark desktop theme.