A free, open-source Java library for automata learning algorithms
-
Updated
Aug 16, 2026 - Java
A free, open-source Java library for automata learning algorithms
𝜟𝜱✴︎ or Delta Phi Star is a variant method of determining lightness contrast, and a sibling of APCA and SACAM. It is a simplified version using easily invertible standardized maths, however it lacks some useful properties such as polarity sensitivity. In fact, it is intended for applications where a "general" simplifed perceptual contrast is des…
See Stars is a Myndex MicroColor Library. This has standard functions for the standard (piecewise) IEC conversion of sRGB to Y, and the CIE standard Y to L* (Lstar) and back again. The math & constants here reference those of CSS 4 for compatibility.
Formally-Verified Active Automata Learning
An environment for constructing smooth transition regression and autoregressive models (LSTR, ESTR, TVSTR, MSTR, LSTAR, ESTAR, TVSTAR, MSTAR).
Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification
To associate your repository with the lstar topic, visit your repo's landing page and select "manage topics."