elpa-acl2

Computational Logic for Applicative Common Lisp: emacs interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

php-symfony-ntfy-notifier

Symfony Ntyf Notifier Bridge

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

postgresql-15-prefix

Prefix Range module for PostgreSQL

This PostgreSQL module provides the prefix_range datatype, allowing to index searches such as finding the longest prefix matching a telephone number, having prefixes in a table and telephone number as a parameter:

node-node-pty

Node.js library to allow one to fork processes with pseudoterminal file descript

node-node-pty provides forkpty bindings for node.js. This allows one to fork processes with pseudoterminal file descriptors. It returns a terminal object which allows reads and writes. This is useful for: * Writing a terminal emulator * Getting certain programs to think they are in a terminal

libgeographiclib26

C++ library to solve some geodesic problems -- library

GeographicLib is a small set of C++ classes for converting between geographic, UTM, UPS, MGRS, geocentric, and local cartesian coordinates, for geoid calculations, and for computing geodesic. It is a suitable replacement for the core functionality provided by NGA Geotrans.

libpagmo9

library for massively parallel optimisation (shared library)

pagmo is a C++ scientific library built around the idea of providing an unified interface to optimization algorithms and to optimization problems and to make their deployment in massively parallel environments easy.