Alternatives
Products that do what EKOS does
Evidence-backed knowledge, compiled from your stack
- 1
- 2TO
At Cajal (YC W26) we’re excited to share Talos (https://github.com/cajal-technologies/talos), an open source framework for formal verification of WebAssembly modules in Lean. AI is now writing tons of the code that gets pushed to production. As code generation gets cheaper, verification becomes the bottleneck. We believe in a future where every piece of software comes with a mathematical proof that it does what its author intended - in doing so, eliminating many classes of exploits. Talos is part of the foundation for that. Talos provides a Wasm interpreter optimized for…
Jun 2026 · github.com
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11SO
2019 · ditabase.io
- 12
- 13OD
May 2026 · github.com
- 14LD
Hi HN! This is Qian here with Peter (KraftyOne) and Jeremy (jedberg). We’re building DBOS, an open-source, lightweight durable workflows library that you can add to Python apps in just a few lines of code. It’s comparable to popular open-source workflow and queue libraries like Airflow and Celery, but more lightweight with a greater focus on reliability and automatically recovering from failures. Our goal in building DBOS is to make workflows lightweight and flexible so you can add them to your existing apps with minimal work. Everything you need to run durable workflows and queues is…
2025 · github.com
- 15OK
We release an open source version of Andrej Karparthy's open knowledge base, and we scale it to support long PDFs with Pageindex. Any feedback is welcome to help us improve this project! Github repo: https://github.com/VectifyAI/OpenKB
Apr 2026
- 16KA
Jun 2026 · oak-invest.github.io
- 17OS
2014 · github.com
- 18
- 19FN
Hi HN! I’m Zach, co-founder / CTO of Platform Engineering Labs. We’re building formae, an open-source IaC system that stays in sync with real infrastructure instead of relying on manually maintained state and drift detection. We’ve just shipped Kubernetes, Helm, and Terraform .tfvars support. The goal with this release was simple: make it easy to start using formae with infrastructure people already have. formae can now discover existing k8s workloads automatically and the ability to utilize existing Helm charts. Coming from Terraform / OpenTofu and already have variable…
May 2026 · github.com
- 20
- 21LO
Hi HN, Martin, Nils, and Jannes here. We are building Legit, an open source version control and collaboration layer for AI agents and AI native applications. You can find the repo here https://github.com/Legit-Control/monorepo and the website here https://legitcontrol.com Over the last years, we worked on multiple developer tools and AI driven products. As soon as we started letting agents modify real files and business critical data, one problem kept showing up. We could not reliably answer what changed, why it changed, or how to safely undo it. Today, most AI…
Jan 2026
- 22
- 23OA
Hi everyone! My name's Christian, and I'd like to share what we've built at OrgStack - a complete data validation platform for engineering teams: https://orgstack.io It's estimated that data quality issues cost US businesses over $600 billion per year[1]. Poor data quality is difficult to detect, and even more difficult to resolve. This eats up engineering resources and leads to outages in production infrastructure. Our goal is to make it easy for data and software engineering teams to manage data sources, receive critical alerts, and trace data-related incidents to their source.…
2020
- 24DG
Definite is a data-stack-in-a-box. We give you ETL (connectors to 500 data sources), a data warehouse, and BI (reports & dashboards) in one app. We have a built-in modeling layer for core metrics and an AI assistant to answer questions about your business. Here's a 3 minute demo: https://www.youtube.com/watch?v=_YjXXljXV9I Since we're handling ETL, we already know what each source looks like and have pre-built data models for them. This means you can instantly build a report that connects both Hubspot and Stripe data or Klaviyo and Shopify data. We're working closely with…
2023 · definite.app
Ranked by how close each launch is in meaning, then by votes. Refine with a description →