libpapilo-core0d

Parallel Presolve for Integer and Linear Optimization (core library)

PaPILO, a C++14-based software package, provides parallel presolve routines for (mixed integer) linear programming problems. The routines are implemented using templates which allows switching to higher precision or rational arithmetic using the boost multiprecision package.

libpapilo-clusol0d

Parallel Presolve for Integer and Linear Optimization (LUSOL library)

PaPILO, a C++14-based software package, provides parallel presolve routines for (mixed integer) linear programming problems. The routines are implemented using templates which allows switching to higher precision or rational arithmetic using the boost multiprecision package.

openjdk-25-jvmci-jdk

JVMCI-enabled SDK for building graalvm

This package provides a JVMCI-enabled GraalVM builder Java SDK.

lua-resty-core

New FFI-based Lua API for NGINX Lua module

This pure Lua library reimplements part of the ngx_lua module's Nginx API for Lua with LuaJIT FFI and installs the new FFI-based Lua API into the ngx.* and ndk.* namespaces used by the ngx_lua module. In addition, this Lua library implements any significant new Lua APIs of the ngx_lua module as proper Lua modules, like ngx.semaphore and ngx.balancer. The FFI-based Lua API can work with LuaJIT's JIT compiler. ngx_lua's default API is based on the standard Lua C API, which will never be JIT compiled and the user Lua code is always interpreted (slowly).

phrog

Greetd-compatible greeter for mobile phones

Phrog is a graphical greeter speaking the `greetd` protocol and aimed at mobile devices like smart phones and tablets using touch based inputs and small screens.

catgirl

TLS-only terminal IRC client

A minimal terminal IRC client with tab completion, split scrolling, nick colouring, topic diffing, and message filtering.