libspdlog1.10

Very fast C++ logging library

Features: Very fast - performance is the primary goal; Headers only; No dependencies - just copy and use; call style using the excellent cppformat library; ostream call style is supported too; Optional extremely fast asynchronous mode - using lockfree queues and other tricks to reach millions of calls/sec; Custom formatting; Multi/Single threaded loggers; Easily extendable with custom log targets (just implement a single function in the sink interface). Severity based filtering - threshold levels can be modified in runtime as well as in compile time.

libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

libtest2-tools-command-perl

test simple unix commands

Test2::Tools::Command tests that commands given particular arguments result in particular outputs by way of the exit status word, standard output, and standard error. Various parameters to the command function alter exactly how this is done, in addition to variables that can be set.

libmgl-wnd8t64

library for scientific graphs (windows runtime library)

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.

python3-model-bakery

smart object creation facility for Django (Python 3 version)

Model-Bakery is the replacement for model-mommy and offers you a smart way to create fixtures for testing in Django. With a simple and powerful API you can create many objects with a single line of code.

gnat-14-mipsisa64r6-linux-gnuabi64

GNU Ada compiler for the mipsisa64r6-linux-gnuabi64 architecture

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).