StacksBrowseCategoriesSubmit
Star on GitHub

Tools from Product Hunt, GitHub Awesome lists, and our community, organized into practical workflows.

Star on GitHub
ExploreTool StacksBrowse ToolsCategories
ContributeSubmit a ToolSources & SelectionAbout TooolsEditorial Standards
Open sourceGitHub Repository
© 2026 TooolsLast updated
ToolsAstrée

Astrée

copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally

Automation
40views8clicks
Awesome List

About

copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.

Listing source: Original source. How we curate tools.

More Automation tools

n8n

Open-source workflow automation

Open Source207.3K
241views21clicks
dify

Build Agentic workflows, RAG pipelines, with rich AI model and tool support on one collaborative workspace. Deploy on cloud, VPC, or self-hosted, so teams move from prototype to production without reb

Freemium158.4K
7views
Visit Website

At a Glance

Views40
Clicks8
GitHubClosed source
PricingFree
PlatformsWeb
1
clicks
Scrapling

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl! Don't be shy, join here: https://discord.gg/EMgGbDceNQ and follow here for daily tips and tri

Open Source87.4K
7views1clicks
Coolify

An open-source & self-hostable Heroku / Netlify alternative (and even more). ([Source Code](https://github.com/coollabsio/coolify)) Apache-2.0 Docker

Free63K
36views6clicks