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

node-regenerator-preset

Babel preset for easy use of node-regenerator

node-regenerator-preset provides preset for node-babel7 for easy use of node-regenerator* packages.

libpsmt2-frontend-ocaml

Parse and type-check SMT-LIB 2 (runtime files)

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

postgresql-14

The World's Most Advanced Open Source Relational Database

PostgreSQL, also known as Postgres, is a free and open-source relational database management system (RDBMS) emphasizing extensibility and SQL compliance. It features transactions with Atomicity, Consistency, Isolation, Durability (ACID) properties, automatically updatable views, materialized views, triggers, foreign keys, and stored procedures. It is designed to handle a range of workloads, from single machines to data warehouses or Web services with many concurrent users.

libopm-upscaling-bin

Porous media upscaling tools -- applications

The Open Porous Media (OPM) software suite provides libraries and tools for modeling and simulation of porous media processes, especially for simulating CO2 sequestration and improved and enhanced oil recovery.

php-symfony-redlink-notifier

Symfony Redlink Notifier Bridge

The Symfony Redlink Notifier Bridge provides Redlink integration for Symfony Notifier.