ElliotSwart/pragmaticformalmodeling

An instructional website with progressively worked examples of TLA+ specifications and model checking.

TLAHTMLSCSSOtherformal-methodsformal-verificationtla-plustla-specification
This is stars and forks stats for /ElliotSwart/pragmaticformalmodeling repository. As of 25 Apr, 2024 this repository has 38 stars and 2 forks.

Pragmatic Formal Modeling Getting Started To test: bundle install bundle exec jekyll serve --incremental To build: bundle install bundle exec jekyll build --incremental Currently, the page is updated manually on Github pages, due to PlantUML dependency.
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
foxglove/studioTypeScriptOther1.5k02830
safe-global/safe-contractsTypeScriptSolidityRuby1.6k+3833+4
emqx/MQTTXTypeScriptVueSCSS3k03730
zenith391/zgtZigJavaScriptNix1k0430
flameshot-org/flameshotC++CMakeShell21.8k01.4k0
alan-et/alanpoiHTMLJavaOther900640
CatVodTVOfficial/CatVodTVJsonEditorHTML13602580
OCA/webJavaScriptHTMLPython79101.8k0
dotnet/blazor-samplesHTMLC#CSS28903010
CatVodTVOfficial/TVBoxOSCJavaCSSOther5.2k04.2k0