tool_lists
Tool collections
A curated collection of links to tools and resources for various software development topics.
Links to tools by subject
371 stars
44 watching
81 forks
last commit: 8 months ago
Linked from 1 awesome list
binary-decision-diagramsformal-methodsmodel-checkingproof-assistantsatisfiability-modulo-theoriessatisfiability-solversmtlibstatic-analysissynthesistheorem-provertheorem-provingtoolsverification
jnv/listsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 yaph/lologl | A curated collection of lists of GitHub repositories showcasing various programming languages and topics | 96 |
 cyrusstoller/list-of-lists | A collection of curated lists of software tools and resources for developers | 32 |
 cjbarber/toolsofthetrade | A curated list of services and tools to support software development and entrepreneurship | 16,584 |
 pysemtec/semantic-python-overview | A curated list of projects related to Python and semantic technologies | 498 |
 thewhitetulip/devtools | A curated list of developer tools and integrated development environments (IDEs) for programming languages | 7 |
 saberma/ruby-dev-bookmarks | A curated list of Ruby development resources and tools | 414 |
 codylindley/frontend-tools | An opinionated list of tools and frameworks for building frontend applications | 2,370 |
 drewrwilson/toolsforactivism | A curated list of digital tools for activism and social change | 971 |
 gloparco/master-list-of-html5-js-css-resources | A curated collection of resources and tools for front-end development, including HTML5, CSS, JavaScript, games, mobile, and more. | 304 |
 vincenius/link-list | A collection of tools and resources for building web applications | 300 |
 frajova/what-i-use | A personal tech use log showcasing various tools and software used by its creator. | 1 |
 openlists/otherlists | A curated collection of resources and lists on various topics, including science, coding, neuroscience, and industry. | 5 |
 phiat/markdown-lists | A collection of curated lists of books, tools, and other resources organized in markdown format. | 0 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 devikabhapkar/uses | A personal repository documenting daily usage software, hardware, tools and technologies. | 0 |