libokularcore7

libraries for the Okular document viewer

libghc-recursion-schemes-prof

generalized bananas, lenses and barbed wire; profiling libraries

Base functors for fixed points, fixed points, folding, unfolding, refolding, Mendler-style iteration, Elgot (co)algebras, and Zygohistomorphic prepromorphisms.

libkasten3core3

core Kasten library for Okteta

libkasten3okteta1controllers1

kastencontrollers library for Okteta

libomniorb4-1

omniORB core libraries

libompl11

Open Motion Planning Library (OMPL)