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.