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