This is stars and forks stats for /tlaplus-workshops/ewd998 repository. As of 29 Mar, 2024 this repository has 43 stars and 48 forks.
ewd998 Experience TLA+ in action by specifying distributed termination detection on a ring, due to Shmuel Safra. Each git commit introduces a new TLA+ concept. Go back to the very first commit to follow along! v00: IDE Click either one of the buttons to launch a zero-install IDE to give the TLA+ specification language a try: (=> Screencast how to create the TLA+ Codespace) v01: Problem statement - Termination detection in a ring v01a: Termination of pleasingly parallel For this tutorial, we...
ewd998 Experience TLA+ in action by specifying distributed termination detection on a ring, due to Shmuel Safra. Each git commit introduces a new TLA+ concept. Go back to the very first commit to follow along! v00: IDE Click either one of the buttons to launch a zero-install IDE to give the TLA+ specification language a try: (=> Screencast how to create the TLA+ Codespace) v01: Problem statement - Termination detection in a ring v01a: Termination of pleasingly parallel For this tutorial, we...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ahmedshahein/DSP-RTL-Lib | VerilogMATLABSystemVerilog | 65 | 0 | 23 | 0 |
badgeteam/mch2022-fpga-test-psram-passthrough | VerilogShell | 0 | 0 | 0 | 0 |
facontidavide/PlotJuggler | C++CMakeC | 3.7k | 0 | 522 | 0 |
songquanpeng/go-file | HTMLGoJavaScript | 622 | +2 | 62 | 0 |
apache/groovy | JavaGroovyHTML | 5k | +1 | 1.8k | 0 |
eip-work/kuboard-press | JavaScriptHTMLVue | 19.5k | 0 | 1.4k | 0 |
OpenDroneMap/WebODM | JavaScriptPythonHTML | 2.4k | 0 | 837 | 0 |
Yoast/wordpress-seo | JavaScriptPHPHTML | 1.7k | 0 | 880 | 0 |
composer/satis | PHPJavaScriptTwig | 3k | 0 | 512 | 0 |
timber/timber | PHPShellOther | 5.3k | +1 | 505 | 0 |