qt6-sensors-examples
Qt 6 Sensors examples
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libghc-lua-arbitrary-prof
Arbitrary instances for Lua types; profiling libraries
This package provides instances for QuickCheck's Arbitrary typeclass.
poke-elf
GNU Poke pickle for editing ELF object files
poke-elf is a GNU poke pickle for editing ELF object files,
executables, shared libraries and core dumps. It supports many
architectures and extensions.
libbasix0.7
Finite Element Basis Function Definition Runtime Library (Python 3)
Computes FE basis functions and derivatives for the following
elements:
- Lagrange (interval, triangle, tetrahedron, prism, pyramid,
quadrilateral, hexahedron)
- Nédélec (triangle, tetrahedron)
- Nédélec Second Kind (triangle, tetrahedron)
- Raviart-Thomas (triangle, tetrahedron)
- Regge (triangle, tetrahedron)
- Crouzeix-Raviart (triangle, tetrahedron)
threeb-imagej
3B Microscopy Analysis Software - ImageJ plugin
Bayesian analysis of blinking and bleaching, or 3B microscopy, is a
method which analyses data in which many overlapping fluorophores
undergo bleaching and blinking events, giving the structure at
enhanced resolution. By using a Hidden Markov Model (HMM), it allows
useful information to be obtained from data that would be impossible
to analyse with standard localisation analysis techniques.
libcoq-mathcomp-character
Mathematical Components library for Coq (character)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.