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.