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.