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.