libhierarchy-builder-coq

build hierarchies of algebraic structures in Coq (runtime files)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.
TOTP Authenticator application

numberstation

TOTP Authenticator application

A Gnome Authenticator clone. This generates 2fa tokens based on secrets installed. It registers as uri-handler for otpauth:// urls so they can be added from Megapixels.

node-decko

useful Javascript decorators

Decorators help simplify code by replacing the noise of common patterns with declarative annotations.

libobject-pad-slotattr-lazyinit-perl

lazily initialise Object::Pad slots at first read

Object::Pad::SlotAttr::LazyInit provides a third-party slot attribute for Object::Pad-based classes, which declares that the slot it is attached to has a lazy initialisation method, which will be called the first time the slot's value is read from.

python3-inflate64

Enhanced Deflate compression algorithm

The "inflate64" is a Python package to provide "Deflater" and "Inflater" class to compress and decompress with Enhanced Deflate compression algorithm.

libmgl-qt5-8t64

library for scientific graphs (Qt interface for windows)

A free cross-platform library of fast C++ routines for plotting data in up to 3 dimensions. It can export plots to bitmaps and vector EPS, SVG, IDTF files. There are simple window interfaces based on GLUT, FLTK and/or Qt. MathGL can also be used in the console. There are interfaces to a set of languages, such as, C, Fortran, Pascal, Forth, Python, Octave.