Search Results for "finite state machine editor"
Sort By:
Showing 88 open source projects for "finite state machine editor"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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.
-
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. The following fundamental computer... -
4
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. ... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
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. -
6
Wave Terminal
An open-source, cross-platform terminal for seamless workflows
Wave is an open-source AI-native terminal built for seamless workflows. Wave isn't just another terminal emulator; it's a rethink on how terminals are built. Wave combines the command line with the power of the open web to help veteran CLI users and new developers alike. Keep development moving forward without the copy, pasting, saving, and exporting headache. Built on an open web framework that is fully extensible. Quickly edit code on a local or remote machine with the same editor that... -
7
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. -
8
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 -
9
A collection of developer tools for game-making on and for the Nintendo DS, including (but not limited to) content uploader, 2D game engine with sound, level and sprite editor.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
MMEditing
MMEditing is a low-level vision toolbox based on PyTorch
MMEditing is an open-source toolbox for low-level vision. It supports various tasks. MMEditing is a low-level vision toolbox based on PyTorch, supporting super-resolution, inpainting, matting, video interpolation, etc. We decompose the editing framework into different components and one can easily construct a customized editor framework by combining different modules. The toolbox directly supports popular and contemporary inpainting, matting, super-resolution and generation tasks. The... -
11
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... -
12
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... -
13
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. -
14
EEPROM_editor
EEPROM programmer for the SST39SF040 chip.
This is a single purpose programmer for a 4MB EEPROM chip which is intended to be used as a universal logic device in a state machine. This fills the gap between circuits that are too complex for discrete logic gates while also not being suitable for Arduino type control. FPGAs are suitable for these applications, but the learning curve is steep, the tools are complex and for small one off projects, not worth the effort. An Arduino Nano will be used as an interposer between a Python script... -
15
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... -
16
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?... -
17
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.
-
18
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. -
19
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. -
20
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). -
21
Grbl Overseer
A control software for GRBL-powered milling machines
-
22
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 -
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
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.
