libags-audio6t64
Advanced Gtk+ Sequencer audio processing library
libags_audio is a tree based audio processing library built upon GObject and
libags. It allows you to do audio processing supporting LADSPA, DSSI and Lv2
plugin support. Audio data is processed multi-threaded.
libgnuastro13
GNU Astronomy Utilities shared libraries
GNU Astronomy Utilities (Gnuastro) is a collection of programs (the
`gnuastro' package) and librarires (this package along with
`libgnuastro-dev') for astronomical data analysis and manipulation.
The programs can be run on the command-line for efficient and easy
usage and the libraries can be used within C and C++ programs.
libocct-modeling-algorithms-7.6
Open CASCADE Technology geometrical & topological algorithms module
Open CASCADE Technology is a suite for 3D surface and solid modeling,
visualization, data exchange and rapid application development. It is an
excellent platform for development of numerical simulation software including
CAD/CAM/CAE, AEC and GIS, as well as PDM applications.
libags-gui6t64
Advanced Gtk+ Sequencer widget library
libags_gui is a widget library built upon Gtk+-4.0.
It contains widgets like
- LED
- dial
- indicator
- cartesian
- ruler
elan
tool for managing installations of the Lean theorem prover
elan is a small tool for managing your installations of the Lean theorem
prover. It places lean and leanpkg binaries in your PATH that automatically
select and, if necessary, download the Lean version described in the
lean_version field of your project's leanpkg.toml. You can also install,
select, run, and uninstall Lean versions manually using the commands of the
elan executable.
libghc-peano-prof
lazy unary natural numbers; profiling libraries
This package provides natural numbers in unary notation implementing Num, Ord etc.