Search Results for "functional testing tool"

Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models.

Witchcraft brings algebraic and category-theoretic abstractions—like semigroups, monoids, functors, applicatives, and monads—to Elixir in a pragmatic, protocol-driven way. It introduces a set of typeclass-style protocols and laws so data types can declare the operations they support and have those behaviors verified. The library encourages composability and pure transformations, letting you build pipelines where effects are modeled explicitly rather than hidden in ad-hoc helpers. Because the...

An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For uncertainties budgeting, EDMFit makes use of Monte-Carlo simulations and supports different distribution function: - Uniform distribution, - Triangular distribution and - Gaussian (normal) distribution. ...

TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here.

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.