libcapnp-1.1.0

Cap'n Proto C++ library

Similar to Protocol Buffers, Cap'n Proto is an efficient means of serializing structured data to be transferred across a network or written to disk. Users write a Cap'n Proto definition file that drives a code generator, which in turn emits C++ code for encoding & decoding messages in the Cap'n Proto format.

coinor-ipopt

Interior-Point Optimizer - AMPL solver executables

Ipopt is an open-source solver for large-scale nonlinear continuous optimization. It can be used from modeling environments, such as AMPL, GAMS, or Matlab, and it is also available as a callable library with interfaces to C++, C, and Fortran. Ipopt uses an interior point method, together with a filter linear search procedure. Ipopt is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research).

libgo23-armhf-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

gnat-14-arm-linux-gnueabihf

GNU Ada compiler for the arm-linux-gnueabihf architecture

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

libgmsh4.11

Three-dimensional finite element mesh generator shared library

Gmsh is a 3D finite element grid generator with a build-in CAD engine and post-processor. Its design goal is to provide a fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities. Gmsh is built around four modules: geometry, mesh, solver and post-processing. The specification of any input to these modules is done either interactively using the graphical user interface or in ASCII text files using Gmsh's own scripting language.

go-cowsql

Pure-Go cowsql client

Go-cowsql is a pure-Go cowsql client implementation. 2 binaries are provided: - cowsql-demo, a demo cowsql application, which exposes a simple key/value store over an HTTP API, - cowsql, a basic SQLite-like cowsql shell which supports normal SQL queries plus the special .cluster and .leader commands to inspect the cluster members and the current leader.