vscode-tlaplus
sqa-wiki
vscode-tlaplus | sqa-wiki | |
---|---|---|
1 | 2 | |
332 | 2,218 | |
1.2% | - | |
8.2 | 3.6 | |
3 months ago | over 1 year ago | |
TypeScript | ||
MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
vscode-tlaplus
-
First article of a series about Recife (Clojure model checker on top of TLA+ tooling)
😁 thanks! At least now the TLA+ maintainer itself is recommending https://github.com/tlaplus/vscode-tlaplus, an improvement.
sqa-wiki
What are some alternatives?
awesome-learning - Curated lists of awesome learning resources for a Software Test Automation Engineer
awesome-testing-courses - A curated list of awesome online courses and tutorials on software testing, test automation and more...
Manual_Testing - This repository contains the General Test Cases for performing Manual Testing on the Web/Mobile application. It also has Test cases related to API Testing. Templates related to Test Plan and BugBash are also updated.
howtheytest - A collection of public resources about how software companies test their software
awesome-quality-assurance-roadmap - :books: The starting point of your career as a Software Quality Assurance Engineer | Quality Automation Engineer :books:
performance_testing - Tools, articles, etc. related to performance/load/etc. testing.
FreeLearningResourcesForSoftwareTesters - A New Project to create a set of links to free Online Learning Resources for New and Experienced Software Testers.
quality_mobile_apps - Tools, articles, etc. related to quality in mobile applications.
QA-Training - In this repository you'll find all the study materials and exercises you need to make a great start for a role in Quality Assurance!
software-testing-resource-pack - Various files useful for manual testing and test automation etc.
score - ossia score, an interactive sequencer for the intermedia arts
webspicy - A technology agnostic specification and test framework that yields better coverage for less testing effort.