Search Results for "finite state"
Sort By:
Showing 145 open source projects for "finite state"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
Django friendly finite state machine
Django friendly finite state machine support
Django-fsm adds simple declarative state management for Django models. If you need parallel task execution, view, and background task code reuse over different flows - check my new project Django-view flow. Instead of adding a state field to a Django model and managing its values by hand, you use FSMField and mark model methods with the transition decorator. These methods could contain side effects of the state change. You may also take a look at the Django-fsm-admin project containing a... -
2
FSM for Go
Finite State Machine for Go
FSM is a finite state machine for Go. It is heavily based on two FSM implementations. Javascript Finite State Machine, and Fysom for Python. Visualize outputs a visualization of a FSM in Graphviz format. VisualizeForMermaidWithGraphType outputs a visualization of a FSM in Mermaid format as specified by the graphType. VisualizeWithType outputs a visualization of a FSM in the desired format. -
3
XState
State machines and statecharts for the modern web
JavaScript and TypeScript finite state machines and statecharts for the modern web. Statecharts are a formalism for modeling stateful, reactive systems. This is useful for declaratively describing the behavior of your application, from the individual components to the overall application logic. XState is a library for creating, interpreting, and executing finite state machines and statecharts, as well as managing invocations of those machines as actors. ... -
4
zag
Finite state machines for building accessible design systems and UI
...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. Works with React, Vue and Solid. -
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
5
Workflow
A Swift and Kotlin library for making composable state machines
...Corresponding UI frameworks that bind Rendering data classes for “views” (including event callbacks) to Mobile UI frameworks for Android and iOS. Optimized for composability and scalability of features and screens. A library that supports writing business logic and complex UI navigation logic as state machines, thereby enabling confident reasoning about the state and validation of correctness. A unidirectional data flow library that uses immutable data within each Workflow. Data flows in a single direction from the source to the UI, and events in a single direction from the UI to the business logic. Each logical component area is separated into a Workflow with a finite set of states and the logic to transition between them. -
6
FEATool Multiphysics
Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS
FEATool Multiphysics (short for Finite Element Analysis Toolbox), is a fully integrated simulation platform for modeling all types of coupled physics phenomena, continuum mechanics, and engineering problems. By providing a truly easy to use and integrated all-in-one simulation platform for multi-physics analysis, makes FEATool an ideal simulation and modeling tool for everyone from students learning mathematical modeling, to researchers and engineers wishing to explore new ideas in a no... -
7
101-0250-00
ETH course - Solving PDEs in parallel on GPUs
This course aims to cover state-of-the-art methods in modern parallel Graphical Processing Unit (GPU) computing, supercomputing and code development with applications to natural sciences and engineering. -
8
QSMM
An adaptive state model development framework.
QSMM, a recursive acronym for "QSMM State Machine Model", is a framework for learning finite automatons that perform goal-directed interaction with entities which exhibit deterministic or stochastic behavior. The learning process can be carried out in real time together with the interaction process. A basic building block for supporting state models of finite automatons is adaptive probabilistic mapping, which for an argument from its domain returns more often results that maximize or minimize values of one or more objective functions. ... -
9
Xtu
Xtu is a framework for implementing Platform specific xUML models
Xtu is a support framework for implementing Platform specific models (PSM) using the xUML methodology. xUML is a formalized methodology for Model based systems engineering (MBSE) targeted at SW and HW development. Xtu implements the xUML elements Domains, Bridges, Signals, Classes, States, Events & Finite state machines. Xtu targets C++11 & STL compatible PSMs. -
Full-stack observability with actually useful AI | 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.
-
10
FEATool Multiphysics - FEA & CFD Toolbox
FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox
FEATool Multiphysics (https://www.featool.com) is a fully integrated toolbox for computer aided engineering CAE, finite element analysis & fluid dynamics simulations. With a very easy-to-use GUI, anyone is now able to quickly set up and perform large scale dynamical and complex engineering physics simulations, with coupled fluid flow, heat transfer, structural mechanics, chemical transport, and electromagnetics effects, without having to learn complex programming. -
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
matgts
programs for geotechnical engineering and mathematics
Sour*eforge.net has become inaccesible to me because of Cl*udflare. The latest versions of the programs will be on my site: https://matei.one/. mtfem - finite element analysis, 2D, plane strain state (C, SDL), GNU/Linux and Wind0ws executables present; mtpile - analysis of a laterally loaded pile (C, SDL); mtslope - slope stability and displacement analysis using limit equilibrium (C,SDL); jswall - analysis of a diaphragm wall (JavaScript); jsmath - mathematics: polynomial equations, linear systems of equations, eigenvalues, matrix multiplication, matrix inversion (JavaScript); mtwall - obsolete program for analysing a diaphragm wall (C, SDL). ... -
13
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
14
soulng
Lexer and parser generator tool for C++
...The slg tool takes a .lexer file that contains the description of a lexical analyzer as input and produces C++ source code for a lexical analyzer as output. The produced lexical analyzer is a finite state machine that recognizes patterns described as regular expressions and return corresponding token identifiers to the parser. The spg tool takes .parser files that contain descriptions of parsers as input and produces C++ source code for parser classes as output. The parser generator produces a recursive descent top-down backtracking parser that use the lexical analyzer generated by slg to tokenize the input. -
15
StateS
Draw and Simulate Finite States Machines (FSM)
Simple tool for drawing Finite State Machines (FSMs). StateS has moved to GitHub and will no longer be updated on SourceForge. New link: https://github.com/ClementFoucher/StateS -
16
Easy Agent Simulation
Java-based agent simulation platform
EAS is a Java-based simulation platform, developed as part of a research project at the Karlsruhe Institute of Technology. It comes with a broad range of pre-developed simulation scenarios, ranging from virtual agents acting in abstract environments to agents with a spatial representation in 2D or 3D. It is built upon a novel architecture using a separate "plugin layer" to communicate between the simulation engine and the simulated model. This allows to flexibly add or remove... -
17
RNA@
RNA annotation tool
RNA@ is a RNA annotation tool for prokaryotic organisms based on a lightened Aho-Corasick like algorithm. The algorithm principle is to encode a data set of nucleotide sequences into a Finite State Machine able to recognize every occurrence of every nucleotide sequence into a genome in a single read of the genome. As nucleotide sequence data set, RNA@ uses a collection of about 300,000 RNA deposited into the NCBI. These RNA are automatically collected from about 25,000 complete deposited genomes. You will find at https://drive.google.com/file/d/1lEj5SSHpQSv54nOroxBcS_jvLFRIKNmm/view?... -
18
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.
-
19
CODON SOFTWARE
The dataset and codon project files are available here.
...However, even with these technological advances, manual annotation or manual curation is necessary. To assist with this problem, we present CODON, a tool for the prediction, annotation, and manual curation of genomic data. This software makes use of a finite state machine in the prediction process and automatically annotates products based on information obtained from the Uniprot database. CODON is equipped with a simple and intuitive graphic interface that assists with manual curation, providing the user with decision making abilities throughout the analysis including in identity, length of alignment, and name of the organism in which the product obtained a hit. -
20
levin
in-memory key value server with fuzzy search capabilities
Levin is an event-based key/value server based on radix-tree (space optimized trie). Key search can be performed with an approximate key matching algorithm based on Levenshtein edit distance. -
21
JUMBL
J Usage Model Builder Library
JUMBL is a command line app and Java library that supports automation of model-based statistical testing. It supports creation, management, and application of usage models in the form of finite state Markov chains. -
22
laplace-curvilinear
SBP-SAT finite difference code for the Laplacian in complex geometries
MATLAB code that generates all figures in [Almquist and Dunham, 2020, https://doi.org/10.1016/j.jcp.2020.109294 ]. The paper considers narrow-stencil summation-by-parts finite difference methods and derives new penalty terms for boundary and interface conditions. The new penalty terms are significantly less stiff than the previous state-of-the-art method on curvilinear grids. On highly skewed grids, there may be an order of magnitude or more difference in the time-step restriction. -
23
ZM
A library to handle coroutine and green thread in C
ZM is a C library to handle continuations (coroutine, exception, green thread) with finite state machines. The library is written in C99 without external dependecy or machine-specific code and can be compiled in ansi-c or ansi-c++ with the minal effort to define two unsigned int type (uint8_t and uint32_t). -
24
SmGen
Verilog Finite State Machine (FSM) Code Generator
SmGen is a finite state machine (FSM) generator for Verilog. On the other hand, it is not an FSM entry tool. The input is behavioral Verilog with clock boundaries specifically set by the designer. SmGen unrolls this behavioral code and generates an FSM from it in synthesizable Verilog. Clock boundaries are explicitly provided by the designer so there is good control on the expected timing -
25
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. ...
