lua-argparse

feature-rich command line parser for Lua language

Argparse supports positional arguments, options, flags, optional arguments, subcommands and more. Argparse automatically generates usage, help and error messages.

libghc-minimorph-prof

English-spelling functions with an emphasis on simplicity; profiling libraries

A set of simplistic functions capturing the more regular parts of English spelling (for generation, not parsing). You will need to complement this with some account for irregular nouns/verbs. This package is not meant to provide anything resembling a full account of English morphology (something like Functional Morphology or sequor could be better suited). The main goal is to provide something cheap and cheerful with no learning curve, that you can use until your application calls for more robustness.

python3-iso3166

Standalone ISO 3166-1 country definitions (Python 3)

ISO 3166-1 defines two-letter, three-letter, and three-digit country codes. python-iso3166 is a self-contained module that converts between these codes and the corresponding country name.

elpa-el-mock

tiny mock and stub framework for Emacs Lisp

Emacs Lisp Mock is a library for mocking and stubbing using readable syntax. Most commonly Emacs Lisp Mock is used in conjunction with Emacs Lisp Expectations, but it can be used in other contexts.

libsundials-nvecparallel-mpi6

MPI vector operations library (SUNDIALS library)

This package provides implementations for all vector operations defined by the generic NVECTOR module in the table of operations for SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers).

libghc-lambdahack-prof

tactical squad ASCII roguelike dungeon crawler game engine; profiling libraries

LambdaHack is a Haskell game engine library for ASCII roguelike games of arbitrary theme, size and complexity, with optional tactical squad combat. It's packaged together with a sample dungeon crawler in fantasy setting that can be tried out as a native binary or in the browser at http://lambdahack.github.io.