primrose
compelling tile-placement puzzle game
Primrose is a puzzle game by Jason Rohrer and a departure from his
previous games.
boolector
SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
xfonts-thai-nectec
Thai fixed fonts for X from Nectec
This package provides one set of Thai TIS-620 pseudo-monospace (with
zero-width combining character) bitmap fonts for X developed by NECTEC, with
complete set of normal, bold, italic, and bold-italic faces.
ruby-benchmark-suite
enhancements to the standard library benchmark.rb
This package contains a command line tool for running multiple benchmarks
against multiple rubies.
python3-pytest-mpi
a plugin for pytest testing MPI-related code (Python3)
pytest-mpi provides a number of things to assist with using pytest
with MPI-using code, specifically:
- Displaying of the current MPI configuration (e.g. the MPI version,
the number of processes)
- Sharing temporary files/folders across the MPI processes
- Markers which allow for skipping or xfailing tests based on whether
the tests are being run under MPI
xblast
game inspired by Dynablaster (dummy upgrade package)