bettercap-ui

bettercap's web UI

This package contains the bettercap's web UI.

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).