ats-lang-anairiats-examples

Examples for the ATS compiler Anairiats

ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.

libplayeronecamera2t64

library for Player One Astronomy's Cameras

This package contains software that is the secondary software development kit (SDK) for the astronomy cameras made by Player One Astronomy Co., Ltd.

lib32stdc++-10-dev-s390x-cross

GNU Standard C++ Library v3 (development files) (s390x

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

cutter-report-module

Test result reporting module for Cutter

Cutter is a xUnit family Unit Testing Framework for C and C++.

gogoc

Client to connect to IPv6 tunnel brokers

libexpect-php5

expect module for PHP 5

This extension allows PHP to interact with processes through PTY, using expect library.