libghc-djinn-ghc-prof

generate Haskell code from a type (bridge to GHC API); profiling libraries

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.

php7.3-fpm

server-side, HTML-embedded scripting language (FPM-CGI binary)

libtree-rb-perl

Perl implementation of the Red/Black tree

Tree::RB is a Pure-Perl implementation of the Red/Black tree, a type of balanced binary search tree.

libavif8-gdk-pixbuf

Library for handling .avif files (GDK pixbuf plugin)

librte-ethdev17.11

Data Plane Development Kit (libethdev runtime library)

php7.3-interbase

Interbase module for PHP