Search Results for "state machine"
Sort By:
89 projects for "state machine" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
1
Spring Statemachine
Framework for application developers to use state machine concepts
The Spring Statemachine project aims to provide a common infrastructure to work with state machine concepts in Spring applications. It is advised to check the actual state of this project by referring to the latest releases found on the Spring Statemachine Project Page. The git repo default branch may be relatively unstable when new features are added to the source code. Spring Statemachine uses a Gradle-based build system. -
2
zag
Finite state machines for building accessible design systems and UI
A collection of framework-agnostic UI components patterns like an accordion, menu, and dialog that can be used to build design systems for React, Vue, and Solid.js. Simple, resilient component logic. Write component logic once and use it anywhere. Built-in adapters that connect machine output to DOM semantics in a WAI-ARIA-compliant way. Component logic is largely JavaScript code and can be consumed in any JS framework. Zag machine APIs are completely headless and unstyled. Use your favorite styling solution and get it matching your design system. Finite state machines for building accessible design systems and UI components. ... -
3
ARK
Unstyled, accessible UI components for your design System
Ark is a headless UI component library designed to provide the foundational logic required to build scalable and accessible design systems for modern web applications. The project focuses on separating component behavior from visual styling so developers can implement their own design language without being constrained by predefined styles. Built on top of Zag.js state machines, Ark delivers predictable and robust component logic that works consistently across multiple JavaScript frameworks.... -
4
FlowRedux
Kotlin Multiplatform Statemachine library with nice DSL based on Flow
Building async. running Kotlin Multiplatform state machine made easy with a DSL and coroutines. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
Apache Flink
Stream processing framework with powerful stream
...Developers program against high-level APIs—DataStream and Table/SQL—to express transformations, joins, and stateful patterns, while specialized libraries support CEP, machine learning workflows, and connectors. A rich connector ecosystem integrates with systems like Kafka, Kinesis, filesystems, JDBC sources/sinks, and object stores. Deployments span Kubernetes, YARN, Mesos, and standalone clusters, and operational features such as savepoints, state backends, and metrics make long-running jobs manageable in production. -
6
Hypothesis
The property-based testing library for Python
Hypothesis is a powerful library for property-based testing in Python. Instead of writing specific test cases, users define properties and Hypothesis generates random inputs to uncover edge cases and bugs. It integrates with unittest and pytest, shrinking failing examples to minimal reproducible cases. Widely adopted in production systems, Hypothesis boosts code reliability by exploring input spaces far beyond manually crafted tests. -
7
FairChem
FAIR Chemistry's library of machine learning methods for chemistry
FAIRChem is a unified library for machine learning in chemistry and materials, consolidating data, pretrained models, demos, and application code into a single, versioned toolkit. Version 2 modernizes the stack with a cleaner core package and breaking changes relative to V1, focusing on simpler installs and a stable API surface for production and research. The centerpiece models (e.g., UMA variants) plug directly into the ASE ecosystem via a FAIRChem calculator, so users can run relaxations, molecular dynamics, spin-state energetics, and surface catalysis workflows with the same pretrained network by switching a task flag. ... -
8
CasADi
CasADi is a symbolic framework for numeric optimization
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT, etc. It can be used in C++, Python, or Matlab/Octave. CasADi's backbone is a symbolic framework implementing forward and reverse modes of AD on expression graphs to construct gradients, large-and-sparse Jacobians, and Hessians. These expression graphs, encapsulated in Function objects, can be evaluated in a virtual machine or exported to stand-alone C code. ... -
9
Optuna
A hyperparameter optimization framework
Optuna is an automatic hyperparameter optimization software framework, particularly designed for machine learning. It features an imperative, define-by-run style user API. Thanks to our define-by-run API, the code written with Optuna enjoys high modularity, and the user of Optuna can dynamically construct the search spaces for the hyperparameters. Optuna Dashboard is a real-time web dashboard for Optuna. You can check the optimization history, hyperparameter importances, etc. in graphs and... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Dlib is a C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems.
-
11
Active Object real-time OS
AO RTOS is small real time OS based on Active Object concurrency model
AO-RTOS is a pure object-oriented small footprint real-time operating system for embedded devices. The project is using Active Object (or Actor) concurrency model and finite state machine (FSM) design template as implementation base. -
12
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
13
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
14
Temporal Inference Engine
A real time inference engine for temporal logical specifications
...Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals. -
15
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
16
SMC - The State Machine Compiler
Translates state machine into a target programming language.
SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info. -
17
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
...In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode. Test cases can be generated using the 'gen' mode, and state machine walkers by the 'sm_walker' mode. Over the last decade HWUT has matured towards a full fledged unit test tool for a wide variety of applications. -
18
ml-surveys
Survey papers summarizing advances in deep learning, NLP, CV, graphs
The ml-surveys repository is a broad, maintainable overview of survey papers across many subfields of machine learning — including deep learning, NLP, computer vision, graph ML, reinforcement learning, recommendation systems, embeddings, meta-learning, and more. Instead of diving into code or experiments, this repo gathers authoritative survey and review articles, summarizing the state-of-the-art, trends, challenges, and directions within each subdomain. -
19
The FSKC is a CASE tool that allows developers to specify all valid and invalid state-event combinations of a finite state machine (FSM) through a simple to use GUI. Functions called from the FSK can be coded and linked to form a complete FSM.
-
20
RKH - State Machine Framework
State machine framework for reactive embedded systems
RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. ... -
21
Liberator
Liberator is a Clojure library for building RESTful applications
Liberator is a Clojure library designed for building RESTful web APIs in a principled, declarative manner. It abstracts HTTP semantics into resource constructs driven by representational state transfer, allowing deep control over HTTP behavior and content negotiation. Liberator used to be known as compojure-rest. It got renamed in July 2012. Liberator is loosely modeled after WebMachine and shares the same aims as Bishop. The examples in this document rely on you installing Leiningen 2. -
22
MITIE
MITIE: library and tools for information extraction
This project provides free (even for commercial use) state-of-the-art information extraction tools. The current release includes tools for performing named entity extraction and binary relation detection as well as tools for training custom extractors and relation detectors. MITIE is built on top of dlib, a high-performance machine-learning library[1], MITIE makes use of several state-of-the-art techniques including the use of distributional word embeddings[2] and Structural Support Vector Machines[3]. ... -
23
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. ... -
24
A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).
-
25
jPTbox
Java Performance Toolbox
The jPTbox is a library designed as a collection of various small tools that can be used in development of Java applications that have strong performance requirements. Including: - watchdog - state-machine - atomic sequencers - statistics counters - TLV - BNF
