Timewinder Alternatives

Similar projects and alternatives to timewinder

• salt

  2 190 0.0 Clojure timewinder VS salt
  

• advent-of-tla

  1 7 0.0 TLA timewinder VS advent-of-tla

  AoC goals in TLA+

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• python

  22 6,415 7.9 Python timewinder VS python

  Official Python client library for kubernetes (by kubernetes-client)

  

• practical-fm

  4 460 4.1 timewinder VS practical-fm

  A gently curated list of companies using verification formal methods in industry

• awesome-python

  85 204,784 7.1 Python timewinder VS awesome-python

  An opinionated list of awesome Python frameworks, libraries, software and resources.

• system-design-primer

  380 253,398 0.0 Python timewinder VS system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

• tlsd

  2 12 0.0 Python timewinder VS tlsd

  Generate (message) sequence diagrams from TLA+ state traces

• InfluxDB

  www.influxdata.com 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.