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.