libstdc++-5-dev-arm64-cross

GNU Standard C++ Library v3 (development files)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

libec2

Library for modular symbols and elliptic curves over Q

This library implements 2-descent on elliptic curves over Q and computations with modular symbols.

gobjc-8-aarch64-linux-gnu

GNU Objective-C compiler

libjaula1

JSON parser/writer library for C++

This package contains c library for applications.

openjdk-8-demo

Java runtime based on OpenJDK (demos and examples)

OpenJDK Java runtime

libghc-ogma-language-csv-prof

Runtime Monitor translator: CSV Frontend; profiling libraries

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.