libcoq-hammer
automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
libgo42-armel-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
libjavascriptcoregtk-5.0-0
JavaScript engine library from WebKitGTK
JavaScriptCore is the JavaScript engine used in WebKit. It consists
of the following building blocks: lexer, parser, start-up interpreter
(LLInt), baseline JIT, a low-latency optimizing JIT (DFG), and a
high-throughput optimizing JIT (FTL).
sherlock
Find usernames across social networks
Sherlock relies on the site's designers providing a unique URL
for a registered username. To determine if a username is available,
Sherlock queries that URL, and uses to response to understand if
there is a claimed username already there.
libmrpt-serialization2.5
Mobile Robot Programming Toolkit - serialization library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).