libpetsc-real3.20
Shared libraries for version 3.20 of PETSc
PETSc is the "Portable Extensible Toolkit for Scientific
Computation", a suite of data structures and routines for the
scalable (parallel) solution of scientific applications modeled by
partial differential equations. It employs the MPI standard for all
message-passing communication. Several sample scientific
applications, as well as various papers and talks, demonstrate the
features of the PETSc libraries.
coq-serapi
interaction with Coq (utils)
SerAPI provides a library for machine-to-machine
interaction with Coq with particular emphasis on
integrated development environments, code analysis tools
and machine learning.
libdrumstick-widgets2t64
Qt6/C++ wrapper for ALSA Sequencer (widgets)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.
ideviceactivation
Command line utility to manage the activation of Apple iOS devices
This project provides an interface to activate and deactivate iOS devices by
talking to Apple's webservice alongside a command-line utility named
ideviceactivation.
libdrumstick-rt2t64
Realtime MIDI I/O with pluggable backends (shared library)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.