Search Results for "state machine"
Sort By:
Showing 36 open source projects for "state machine"
View related business solutions-
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
Quantum++
Modern C++ quantum computing library
...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. -
2
Physical Symbolic Optimization (Φ-SO)
Physical Symbolic Optimization
Physical Symbolic Optimization (Φ-SO) - A symbolic optimization package built for physics. Symbolic regression module uses deep reinforcement learning to infer analytical physical laws that fit data points, searching in the space of functional forms. -
3
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. ... -
4
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. ... -
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.
-
5
epics-sequencer-HZB
The EPICS SNL Compiler and Sequencer
The Sequencer implements a language for programming state machines with the EPICS framework. EPICS is developed collaboratively and used worldwide to create distributed soft real-time control systems for large scale scientific instruments. SNL borrows most contructs from the C programing language and adds some new statements for defining states and conditions for transitions between states. -
6
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... -
7
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. -
8
FEATool Multiphysics - FEA & CFD Toolbox
FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox
...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. 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
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... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
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... -
11
bctl
1-wire based boiler/DHW/distribution heating system controller
...The software package is written in C++ and utilizes the owcapi and owlib facilities of the open-source owfs package for all 1-wire transactions. The software architecture is based on the QP hierarchical state machine framework developed by Quantum Leaps, and utilizes their QM modeling tool for state machine template generation. QP is an open-source package and QM is distributed free of charge. -
12
BEVFormer
Implementation of BEVFormer, a camera-only framework
3D visual perception tasks, including 3D detection and map segmentation based on multi-camera images, are essential for autonomous driving systems. In this work, we present a new framework termed BEVFormer, which learns unified BEV representations with spatiotemporal transformers to support multiple autonomous driving perception tasks. In a nutshell, BEVFormer exploits both spatial and temporal information by interacting with spatial and temporal space through predefined grid-shaped BEV... -
13
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. ... -
14
Argos Translate
Open-source offline translation library written in Python
Argos Translate uses OpenNMT for translations and can be used as either a Python library, command-line, or GUI application. Argos Translate supports installing language model packages which are zip archives with a ".argosmodel" extension containing the data needed for translation. LibreTranslate is an API and web-app built on top of Argos Translate. Argos Translate also manages automatically pivoting through intermediate languages to translate between languages that don't have a direct... -
15
Grbl Overseer
A control software for GRBL-powered milling machines
-
16
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 -
17
WireFactory Simulator
Small factory simulator for control logic test purpose
Wire Factory Simulator (WFS) is a free software to simulate the control of a factory, mainly controlled by IEC 61499 applications. You can build your own factory and controller. The controller can be implemented on any programming language. WFS was originally built to simulate the action of an IEC 614999 application. So, the devices in the factory are easily connected to IEC 61499 applications. The WFS were mainly tested with FBDK (http://www.holobloc.com/). Wire Factory has been... -
18
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. An emphasis has been placed on having very low overhead so as not to hurt... -
19
Phrasal
Statistical phrase-based machine translation system
Stanford Phrasal is a state-of-the-art statistical phrase-based machine translation system, written in Java. At its core, it provides much the same functionality as the core of Moses. Distinctive features include: providing an easy to use API for implementing new decoding model features, the ability to translating using phrases that include gaps (Galley et al. 2010), and conditional extraction of phrase-tables and lexical reordering models. -
20
SteppedStateMachine
Creates and operates a stepped state machine
Implements a stepped state machine, i.e. a state machine which executes a single state transition at a time. Because of this, no data, e.g. state data, can be stored between executions. Instead, any such data must be stored in persistent storage between executions. This permits operation of the state machine as a CGI program in a web server. A WSGI or fastCGI or other such web server is not required. -
21
LightSpMV
lightweight GPU-based sparse matrix-vector multiplication (SpMV)
LightSpMV is a novel CUDA-compatible sparse matrix-vector multiplication (SpMv) algorithm using the standard compressed sparse row (CSR) storage format. We have evaluated LightSpMV using various sparse matrices and further compared it to the CSR-based SpMV subprograms in the state-of-the-art CUSP and cuSPARSE. Performance evaluation reveals that on a single Tesla K40c GPU, LightSpMV is superior to both CUSP and cuSPARSE, with a speedup of up to 2.60 and 2.63 over CUSP, and up to 1.93 and... -
22
HYBRYD
Library written in C with Python API for IPv6 networking
This project is a rewritten of an initial project that I've called GLUE and created in 2005. I'm trying to readapt it for Python 2.7.3 and GCC 4.6.3 The library has to be build as a simple Python extension using >python setup.py install and allows to create different kind of servers, clients or hybryds (clients-servers) over (TCP/UDP) using the Ipv6 Protocol. The architecture of the code is based on brain architecture. Will put an IPv6 adress active available as soon as... -
23
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
24
Automalator
State Dependency deconstructor and mapper for C source code.
Flowcharts not telling you what you want to know about some C source code? Try a State Dependency map! Every C source file is an implemention of a state machine. Implicit in the definition of a state machine is a network of dependencies between the states. The Automalator * deconstructs the C code into the core state machine * collates the transactions into the dependency net * generates a diagram-format file with the states and dependencies as the nodes and edges. ... -
25
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
