timewinder

Temporal Logic of Actions in Rust via Starlark (by timewinder-dev)

Timewinder Alternatives

Similar projects and alternatives to timewinder

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better timewinder alternative or higher similarity.

timewinder discussion

Log in or Post with

timewinder reviews and mentions

Posts with mentions or reviews of timewinder. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-31.
  • TLA+ Action Properties
    2 projects | news.ycombinator.com | 31 Mar 2021
    I've started working on doing TLA+-style models but using Python as the language for doing so (disassembly and all) with an easier to deploy model checker.

    Super super early and I'm not quite yet ready to announce it, so don't expect miracles (or post it everywhere) but if you're reading this comment and want to see hacks in this space...

    https://github.com/timewinder-dev/timewinder

Stats

Basic timewinder repo stats
1
0
6.3
9 months ago

timewinder-dev/timewinder is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of timewinder is Starlark.


Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com

Did you konow that Starlark is
the 66th most popular programming language
based on number of metions?