python-pydoubles

pyDoubles is a test doubles framework for the Python platform.

pyDoubles is a test doubles framework for the Python platform. Test doubles frameworks are also called mocking or isolation frameworks. pyDoubles can be used as a testing tool or as a Test Driven Development tool.

matomo-searchengine-and-social-list

Search engine and social network definitions used by Matomo (formerly Piwik)

This package contains community-contributed definitions for search engine and social network detections list maintained and used by Matomo.

ruby-parser

Ruby parser written in pure Ruby

ruby_parser (RP) can be used to parse and check syntax of Ruby code. "Pure Ruby" in this context means the parser's code * consists solely of Ruby source files * does not add any native extensions or other C code (eg. with RubyInline) which requires a C compiler to be present on the user's system

depqbf

solver for quantified boolean formulae

DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. By analyzing the syntactic structure of a formula, DepQBF tries to identify independent variables. In general, information on independent variables can be represented in the formal framework of dependency schemes. DepQBF computes the so-called "standard dependency scheme" of a given formula. In addition to other benefits, information on independent variables often increases the freedom for decision making and clause learning.

libpirl-java

PIRL Java Packages

Conductor: An application to manage procedure pipelines with classes to resolve references to parameters (as are used in Configuration objects) and Database fields, asynchronous thread logging of streams, and utility applications to exercise the mathematical expression evaluator (JCM) and send email notification messages to a list of recipients. The Conductor application requires (as of Java 1.4) a patch to the Process class implementation. This is provided separately in the Process.patch tarball. A sample pipeline kit for processing MOC images with the ISIS software is in the moclevall-kit tarball.

python3-enigma

historically accurate Enigma Machine library

Py-Enigma is a Python 3 library for simulating the Enigma machines used by the German armed forces (Wehrmacht) during World War 2. Py-Enigma makes it possible to both encrypt and decrypt messages that can be sent to, or received from, actual Enigma machines used by the German army (Heer), air force (Luftwaffe), and navy (Kriegsmarine).