An interactive visualizer for linear temporal logic (LTL)

This is an interactive visualizer for linear temporal logic (LTL), made as a companion tool for the article Specifying State Machines with Temporal Logic .

Related Repos

hrbrmstr ggchicklet Create Chicklet (Rounded Segmented Column) Charts Description Sometimes it is useful to stylize column charts a bit more than just bland rectangles. Methods are provided to create rounded rectangle

hrbrmstr ggeconodist Create Diminutive Distribution Charts Description ‘The Economist’ has a unique boxplot aesthetic f or communicating distrribution characteristics. Tools are provided to create similar charts in ‘gg

eleanorlutz All the Stars You Can See from Earth This repository explains how to make a map of Western constellations using open-source data from Stellarium and the HYG Database (Hipparcos, Yale Bright Star, and Gliese catalogs). Softwar

ananas-analytics Ananas Desktop Ananas Desktop is a hackable data integration/analysis tool to enable non technical users to edit data processing jobs and visualise data on demand. It is designed to be deeply customizable and approachable by di

Microsoft SandDance Visually explore, understand, and present your data. By using easy-to-understand views, SandDance helps you find insights about your data, which in turn help you tell stories supported by data, build cases based on e

santosjorge Cufflinks This library binds the power of plotly with the flexibility of pandas for easy plotting. This library is available on This tutorial assumes that the plotly user credentials hav

mwaskom seaborn: statistical data visualization Seaborn is a Python visualization library based on matplotlib. It provides a high-level interface for drawing attractive statistical

keplergl | Website | Demo App | Docs is a data-agnostic, high-performance web-based application for visual exploration of large-scale geolocation data sets. Built on top of Mapbox GL and de