619 Open source projects that are alternatives of or similar to Tulip Control

A minimal finite state machine with a straightforward syntax.

Verifying concurrent crash-safe systems

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

🔥 Experiments building Vulkan applications, libraries, and abstractions.

The history and future of Java.

Minimalistic boilerplate to quick-start API specification using API Blueprint description language.

Software Specifications for Scala

a gesture recognition verification lock

📠 React custom hook for persist state management

🚀 A shiny admin interface for django-river built with DRF, Vue & Vuetify

Django workflow library that supports on the fly changes ⛵

Redstone has a State Machine

Adds support for creating state machines for attributes on any Ruby class

Rsyn – An Extensible Physical Synthesis Framework

A novel implementation of the Raft consensus algorithm

An attempt to gather a sensible selection of the most common usage patterns of git into a single and concise specification.

🤪 A list of funny and tricky JavaScript examples

AWS Lambda Power Tuner UI is an open source project creating a deployable easy to use website built on a layered technology stack allowing you to optimize your Lambda functions for cost and/or performance in a data-driven way via an easy to use UI.

SML: C++14 State Machine Library

A state machine plugin for Mineflayer to aid in designing more complex behavior trees.

Open Source License Key Generation and Verification Tool written in Go

Abstract HTTP adapter for ROM

Cosette is an automated SQL solver.

Elasticsearch adapter for rom-rb

write beautiful state charts 🙀

This repository is used for maintaining the SDMX RESTful web services specification.

An advanced SAT solver

FSM in Rust's macros.

Code for paper "Synthesizing the preferred inputs for neurons in neural networks via deep generator networks"

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

Verilog to Routing -- Open Source CAD Flow for FPGA Research

Liquid Types For Haskell

AASM - State machines for Ruby classes (plain Ruby, ActiveRecord, Mongoid, NoBrainer, Dynamoid)

A React.js global state manager with Hooks

A simple C++ finite state machine library

IMITATOR

VUnit is a unit testing framework for VHDL/SystemVerilog

🔴 A non-deterministic finite-state machine for Android & JVM that won't let you down

翻译、开发心得或学习笔记

Non-trivial, real use case demo of a hierarchical state machine library with cyclejs

My accurate Yamaha DX-7 clone. Programmed in Supercollider.

Music Synthesis with Python talk, originally given at PyGotham 2017.

🔼 UI-Router for React

A lightweight music DSP library.

Fast and efficient ed25519 signing and verification in Rust.

🤖 A state machine library for Kotlin, with extensions for Android.

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Python DSP module

State machine thin layer for structs (+ GUI for Phoenix apps)

Define the lifecycle of a model by defining allowed status changes.

A lightweight, object-oriented finite state machine implementation in Python with many extensions

Abstraction Layers

🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.

pySMT: A library for SMT formulae manipulation and solving

[DEPRECATED] Truebit Verification for Scrypt

Laravel Stager State Machine, Its purpose is to add state machine functionality to models

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

Build workflows, activities, BPMN like processes, or state machines with PVM.

📜 A JSON based Web Publication Manifest format used at the core of the Readium project

A simple & intuitive state machine