Search Results for "finite state machine simulation"

Showing 86 open source projects for "finite state machine simulation"

View related business solutions
  • Connect with customers in one app Icon
    Connect with customers in one app

    Businesses of all sizes seeking an AI-enhanced, all-in-one communication platform to unify voice, video, and messaging for improved team collaboration

    Dialpad Connect is an AI-powered unified communications platform that combines voice, video, and messaging to enhance team collaboration and customer interactions. It features real-time call transcription, automated call summaries, and AI-generated action items to help users stay focused during conversations. The platform integrates seamlessly with popular business apps like Salesforce, Zendesk, Microsoft Teams, and Google Workspace to streamline workflows. Designed for businesses of all sizes, Dialpad Connect delivers enterprise-grade reliability with 100% uptime SLA and robust disaster recovery. Security and privacy are core priorities, meeting standards like GDPR, HIPAA, and SOC 2 compliance. Dialpad Connect helps companies elevate customer experiences while boosting team productivity.
    Learn More
  • White Labeled Fintech Software Solutions | Centrex Icon
    White Labeled Fintech Software Solutions | Centrex

    Centrex is a full suite of white labeled fintech solutions built and designed for brokers, lenders, banks, investors, fintechs

    The Centrex products include: CRM, loan origination, loan and advance servicing software, syndication management, white labeled mobile app, money manager, underwriting, Esign, and website smart app builder. The Centrex services include: fintech software consulting, admin retainer services, and managed data cloud.
    Learn More
  • 1
    Django friendly finite state machine

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    FSM for Go

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    XState

    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. The following fundamental computer...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    QSMM

    QSMM

    An adaptive state model development framework.

    Finite automatons can be represented by assembler programs with user-defined instructions that perform effective work. To assist in the learning of a finite automaton, a template for its state model can be provided as an assembler program with probabilistic jump instructions. The operating principle behind the framework resembles the Boltzmann machine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Jesta I.S. | Enterprise Software For Retail and Supply Chain Icon
    Jesta I.S. | Enterprise Software For Retail and Supply Chain

    Transition from fragmented entry-level or legacy systems to an enterprise suite.

    Unify your people and operations across all departments and channels. Discover end-to-end retail, wholesale, and supply chain management software suites designed to scale.
    Learn More
  • 5
    zag

    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. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    FEATool Multiphysics

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Quantum++

    Quantum++

    Modern C++ quantum computing library

    ...Quantum++ is not restricted to qubit systems or specific quantum information processing tasks, being capable of simulating arbitrary quantum processes. The main design factors taken in consideration were ease of use, high portability, and high performance. The library's simulation capabilities are only restricted by the amount of available physical memory. On a typical machine (Intel i5 8Gb RAM) Quantum++ can successfully simulate the evolution of 25 qubits in a pure state or of 12 qubits in a mixed state reasonably fast.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Catalyst.jl

    Catalyst.jl

    Chemical reaction network and systems biology interface

    Catalyst.jl is a symbolic modeling package for analysis and high-performance simulation of chemical reaction networks. Catalyst defines symbolic ReactionSystems, which can be created programmatically or easily specified using Catalyst's domain-specific language (DSL). Leveraging ModelingToolkit and Symbolics.jl, Catalyst enables large-scale simulations through auto-vectorization and parallelism. Symbolic ReactionSystems can be used to generate ModelingToolkit-based models, allowing the easy...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    FEATool Multiphysics - FEA & CFD Toolbox

    FEATool Multiphysics - FEA & CFD Toolbox

    FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox

    ...In addition to built-in CAD and pre/post-processing, automatic mesh generation, and multi-physics solvers, FEATool also seamlessly integrates the state-of-the-art OpenFOAM [1], SU2, and FEniCS CFD and FEA solvers. Moreover, native itegration with MATLAB and Python allows advanced simulation scripts and programmatic use cases such as in AI and machine learning [2]. [1]: https://www.featool.com/Easy-to-Use-OpenFOAM-GUI/ [2]: https://featool.com/model-showcase/2024-11-12-CFD-and-Flow-Prediction-Based-on-Deep-Learning
    Downloads: 14 This Week
    Last Update:
    See Project
  • All-in-One Mental Health EHR Icon
    All-in-One Mental Health EHR

    Simplify your systems. Strengthen your cash flow. Start fresh with Ensora Health

    Ensora Health’s Mental Health EHR is designed for mental health professionals, therapists, and practice managers looking for a secure, user-friendly solution to streamline administrative tasks and improve efficiency in their practice management
    Learn More
  • 10
    Diffusion for World Modeling

    Diffusion for World Modeling

    Learning agent trained in a diffusion world model

    Diffusion for World Modeling is an experimental reinforcement learning system that trains intelligent agents inside a simulated environment generated by a diffusion-based world model. The project introduces the idea of using diffusion models, commonly used for image generation, to simulate the dynamics of an environment and predict future states based on previous observations and actions. Instead of interacting directly with a real environment, the reinforcement learning agent learns within...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    GNNPCSAFT Web App

    GNNPCSAFT Web App

    Smart Thermodynamic Modeling with Graph Neural Networks

    The GNNPCSAFT Web App is an implementation of our project that focuses on using Graph Neural Networks (GNN) to estimate the pure-component parameters of the Equation of State PC-SAFT. We developed this app so the scientific community can access the model's results easily. In this app, the estimated pure-component parameters can be used to calculate thermodynamic properties and compare them with experimental data from the ThermoML Archive. More info on github repository.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    GNNPCSAFT

    GNNPCSAFT

    Smart Thermodynamic Modeling with Graph Neural Networks

    The GNNPCSAFT app is an implementation of our project that focuses on using Graph Neural Networks (GNN) to estimate the pure-component parameters of the Equation of State PC-SAFT. We developed this app so the scientific community can access the model's results easily. In this app, the estimated pure-component parameters can be used to calculate thermodynamic properties and compare them with experimental data from the ThermoML Archive. To install the GNNPCSAFT app, download the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    JQM Java Quine McCluskey

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    MuJoCo-py

    MuJoCo-py

    mujoco-py allows using MuJoCo from Python 3

    mujoco-py is a Python wrapper for MuJoCo, a high-performance physics engine widely used in robotics, reinforcement learning, and AI research. It allows developers and researchers to run detailed rigid body simulations with contacts directly from Python, making MuJoCo easier to integrate into machine learning workflows. The library is compatible with MuJoCo version 2.1 and supports Linux and macOS, while Windows support has been deprecated. It provides utilities for loading models, running simulations, and accessing simulation states in real time, along with visualization tools for rendering environments. The project also includes interactive examples showcasing collision handling, texture randomization, state resetting, and robot control. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Easy Agent Simulation

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    StateS

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    RNA@

    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?...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    CODON SOFTWARE

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    levin

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ZM

    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).
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Grbl Overseer

    Grbl Overseer

    A control software for GRBL-powered milling machines

    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    glint

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB