Search Results for "finite state"
Sort By:
Showing 92 open source projects for "finite state"
View related business solutions-
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.
-
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.
-
1
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. -
2
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... -
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. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
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... -
6
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. -
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
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. -
9
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. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
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). ... -
11
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... -
12
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 -
13
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... -
14
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. -
15
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. -
16
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). -
17
Physhun is a Java framework for building and executing finite state machines in J2SE and J2EE environments. State models are defined as collections of Spring beans, and do not use proprietary modeling languages. The framework is simple and flexible.
-
18
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages. -
19
An open source finite state morphology for Modern Standard Arabic. The source files can be compiled by the open source compiler, foma, or Xerox xfst.
-
20
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).
-
21
The Helsinki Finite-State Transducer toolkit is intended for processing natural language morphologies. The toolkit is demonstrated by wide-coverage implementations of a number of languages of varying morphological complexity.
-
22
Pikkr
JSON parser to pick up values directly without performing tokenization
JSON Parser which picks up values directly without performing tokenization in Rust. Pikkr is a JSON parser that picks up values directly without performing tokenization in Rust. Creates an index which maps logical locations of queried fields to their physical locations by using SIMD instructions and bit manipulation. Finds values of queried fields by scanning a JSON record using the index created in the previous process and learns their logical locations (i.e. pattern of the JSON structure)... -
23
STPATCGeneratorPlugin is an Eclipse plugin developed based on XSTAMPP architecture for the STPA TCGenerator tool which is developed by Asim Abdulkhaleq. Th plugin will integrate with XSTAMPP platform for safety engineering to allow the safety analyst to automatically generate the safety-based test cases for each STPA-generated software safety requirements which are derived during STPA safety analysis process.
-
24
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). -
25
State Controller Library
A C++ framework that implements generalised finite state machines.
The State Controller Library is a generic platform-independent C++ framework that allows finite state machines and multi-action planning generalisations thereof to be realised. The structure and implementation of this library focuses on the application of finite state machines to real-time control loops, but can be reasonably adapted for virtually any other application, even completely unrelated to control systems.
