With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
Try free now
$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
UCEd a toolset for use cases edition, verification and simulation. UCEd accepts use cases expressed in a form of natural language. UCEd integrates the use cases in state machines using domain knowledge, and provides an interface for system simulation.
QMazEdit can be used to view and edit binary Mazatrol Files as produced by Mazak milling and turning machines. The application looks natively like the editor on the Machine so any Person in the production area will be able to use it.
jStates is a java library for easy statemachine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies
Violet UML Editor is a powerfull modeling software, easy to use, ready to work by Cay Horstmann. It draws nice-looking class, sequence, state, object and use-case diagrams. This plugin embeds Violet into Eclipse. SEE A FLASH DEMO ON MY HOMEPAGE.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
includes several pygame scripts and pygame libraries. the scripts are a tile editor and a level editor. the libraries include a state engine, a full featured gui, html rendering, document layout, text rendering, sprite and tile engine, and a timer.
This is an Hierarchical StateMachine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.
NState is a pragmatic Finite StateMachine implementation in DotNET. FSMs are defined either in XML or programmatically, and can be run directly or compiled to either C# or VB.NET. Includes WinForms and ASP.NET Panels, and Visual Studio integration.
Firebolt Network library (fnl) is a high level framework for network protocol implementations. You can implement your finite statemachine oriented network protocol without messing with sockets. Define your states,events,transitions and you're ready.
Blackbadger is a distributed ANT runtime for controlling and running tests against a large array of machines without complicated setup. Self-discovery and full Apache Ant integration, Blackbadger provides a distributed statemachine.
Long Activity Workflow is a activity based workflow(finit). It use activity (condition) to determine which state to go. The aim of LongAWF is to use it like a automatic machine.
JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation.
Cellogica is a cellular logic analysis tool. It incorporates sequential logic and finite statemachine to elucidate the relationship between transcription factors and corresponding gene expression.
StEAM, (State Exploring Assembly Model Checker) is a model checker for native concurrent C++ programs. It extends a virtual machine - called ICVM - to perform model checking directly on the assembly level.
lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello StateMachine", interesting demo that generates C++ code.
The statemachine descriptifon language (SMDL) defines a computer
language for describing state machines based on statemachine concepts in the Unified Modeling Language (UML).
The SMDL system converts SMDL scripts into executable Java code.
(To pronounce, just say the letter: AAY WHY QUEUE.)
A collection of high-level models and utility code applicable to interactive applications.
e.g. Fixed/variable timestep timing, statemachine, etc.
VM-SSM uses Structured State Machines (SSM's) to implement a VM for asynchronous, event-driven solutions. It formalizes Hierarchical State Machines, provides parametrized states and events, compound and concurrent states with join and race capability.
A LDAP browser/editor written in PHP4 for the most purposes of handling any directory based on ldapv2/3. Rough and ready certificate showup, OCSP responses. You need: webserver with php, mod_ldap and OpenSSL >= 0.9.7
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-statemachine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
ff6edit is a program that can be used to edit the save state information in Final Fantasy VI (or FFIII in the USA) in order to customize your characters however you see fit. It will be written in C++ and run in the GTK environment.
The Xerlin project is a Java based XML editor that can run on any Java 2 virtual machine. The application is extensible via custom editor interfaces. Xerlin can be used to provide simple, intuitive interfaces for users who know nothing about XML.
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.