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.

haskell-vty-unix-utils

Unix backend for Vty

This package provides Unix terminal support for Vty.

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.