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

Methods to compute sets of states reachable by dynamical systems

VHDL-2008 Support Library

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

TLA+ language support for Visual Studio Code

Development of the CafeOBJ interpreter

A Modeling and Verification Platform for SoCs using ILAs

Links to tools by subject

SuperCollider library for Python

Synthdef Pool

Kotlin Finite State Machine

An implementation of the LSTAR Grammatical Inference Algorithm

Architectural specification and design of p2🐼

Package snd provides methods and types for sound processing and synthesis.

Standard Subresource Integrity library for Node.js

✅❎ A lightweight image rotation verification plugin.

Specification for streaming massive heterogeneous 3D geospatial datasets 🌎

An OCaml based implementation of a Quil QVM

A temporal music synthesizer

Data specification conformance and generation for Elixir

A Coq-based synthesis of Scala programs which are correct-by-construction

Code. Music. Live.

⚡️ Kickstart a Meteor - Polymer project with MWC packages. (Flow Router is used to route)

A Swift and Kotlin library for making composable state machines, and UIs driven by those state machines.

Query engine for TrailDB

✉️ ✅ A Fast and Free Email Verification API written in Go

String extensions for named parameterized string formatting.

Verifying concurrent crash-safe systems

🔥 Experiments building Vulkan applications, libraries, and abstractions.

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

a gesture recognition verification lock

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

Redstone has a State Machine

Rsyn – An Extensible Physical Synthesis Framework

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

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.

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

Abstract HTTP adapter for ROM

Elasticsearch adapter for rom-rb

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

FSM in Rust's macros.

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

Liquid Types For Haskell

A React.js global state manager with Hooks

IMITATOR

🔴 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

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

Haskell Package Version Policy (PVP)

A lightweight music DSP library.

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

The Solid spec and architecture

Automatic SMS Verification with the SMS Retriever API

Simple, flexible system to implement workflows

Python DSP module

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

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

Abstraction Layers

[DEPRECATED] Truebit Verification for Scrypt