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