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.