Loading

tla-sbuilder RubyGem - Download Analytics, Stats & Trends | ClickGems

Powered by ClickHouse

tla-sbuilder

Authors: jarjuk

License: MIT

Summary: A tool to generate runnable specification models in TLA+ language for business IT systems. Specification model can be verified using TLA+...

Can't find the visual you need? Build your own here

All

version

0.3.9tla-sbuilder

latest version

RubyGem Downloads Over Time

Loading

Top RubyGem Versions

Loading

Downloads by Ruby Version Over Time

Loading

Downloads by System Over Time

Loading

RubyGem Downloads by Country

Loading

© 2026 ClickHouse, Inc. HQ in the Bay Area, CA and Amsterdam, NL.

Trademark Privacy Security Terms of Service Cookie Policy

--

to

--

Loading

Loading

Downloads

by period

3

last day

13

last week

200

last month

19K

total

Loading

Loading

Loading