Behavioural typechecking for @actyx/machine-runner machines
Easy as cake e-mail sending from your Node.js applications
Svelte Code Checker Terminal Interface
Amazon States Language validator
various machine learning routines for node
Unique machine (desktop) id (no admin privileges required).
Client library for Candy Machine related programs
A inter-process and inter-machine lockfile utility that works on a local or network file system
A fast, zero-dependency package for cutting down on common issues developers have when running pod install.
State management made super simple
Best-effort discovery of the machine's default gateway and local network IP exclusively with UDP sockets.
A conversational AI-driven telecom multi-agent system for managing call balances, push notifications, marketing, targeting, and sales.
State machine utilities for the Reach UI library.
Core logic for the checkbox widget implemented as a state machine
Explode async and generator functions into a state machine.
Translation between JavaScript values and Buffers
Build functions in standardized containers.
A visual builder for your Slice Models with all the tools you need to generate data models and mock CMS content locally.
A finite state machine library
Creates a consistent, implementation-agnostic hash from a given raw machine ID resolution function. Designed to be used by MongoDB Tools.
XState for finite state machines
Native retrieval of a unique desktop machine ID without admin privileges or child processes. Faster and more reliable alternative to node-machine-id.
JSON for Humans
A finite state machine iterator for JavaScript
Formal verification tool for digital systems
System crate for machine-check for verification of AVR microcontrollers
Utility crate for the formal verification tool machine-check
System crate for machine-check for verification of RISCV microcontrollers
Utility crate for the formal verification tool machine-check
Macro crate for the formal verification tool machine-check
Utility crate for the formal verification tool machine-check
Utility crate for the formal verification tool machine-check
Bitmask switch crate for the formal verification tool machine-check
Utility crate for the formal verification tool machine-check
Utility crate for the formal verification tool machine-check
System crate for machine-check for verification of BTOR2 files
Verify properties of your state machines.
Replicate the structure of your development environment (i.e. checked out repositories) across multiple machines
Replicate the structure of your development environment (i.e. checked out repositories) across multiple machines
Exec Remote is a simple utility to run tests/build against your development code in a remote machine without checking in to a repository. It sync ups your code in local and remote machine with rsync and the commands are executed in remote machine via SSH
Opinionated local CI that checks your code before it leaves your machine. Runs a four-stage pipeline (lint, build, fast tests, slow tests) on every commit with strict time budgets. Hooks into git pre-commit and pre-push, stores results in SQLite, and includes a TUI dashboard for monitoring.
Check (standalone) if a certain ip is reachable. If not reset the network interface and if it is still not reachable reboot the machine.
Intrastructure test, useful for: (1) Sysadmin teachers to evaluate students remote machines. (2) Sysadmin apprentices to evaluate their learning process as a game. (3) Professional sysadmin to monitor remote machines. Allow us: (a) Write test units for real or virtual machines using simple DSL. (b) Check compliance with requirements on remote machines.
rails 5 application monitoring tool to check for System Information, CPU Usage and Memory Usage of server/machine.
Check on validations, background jobs, third-party integrations, state machines, and business rules
This plugin helps you setup and debug `ssh-doctor` forwarding for Capistrano deployment. It peforms a number of checks on the local machine as well as on the servers. Report output with suggested next steps is provided in case there are any errors with the setup.
Provides a predicate that checks whether your machine is currently online or offline, which may be useful for unit and integration tests.
What uses WEBrick to serve a JSON object representing the state of services running on a machine. It currently includes modules for monitoring Unicorn workers, checking for the existence of files and processes, and combining the output of other What servers.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.