Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by johnyf
A curated list of projects in awesome lists by johnyf .
https://github.com/johnyf/tool_lists
Links to tools by subject
binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification
Last synced: 31 Jul 2024
https://github.com/johnyf/tlapy
Python utilities for working with TLA+ specifications
formal-methods specification tla tlaplus utilities
Last synced: 02 Aug 2024