Alternatives
Products that do what Lean4 Datalog DSL Based on Google Zanzibar for AI Projects does
Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure. Google's Zanzibar paper: https://storage.googleapis.com/gweb-research2023-media/pubto...
- 1
- 2
- 3
- 4DA
Dear HN, I am Riwaj, the cofounder of dstack.ai (https://github.com/dstackai). A few months ago, we built an online service that allows users to publish data visualizations from Python or R. The idea was to build a tool that did not require additional programming or front-end development for publishing data visualizations. Such a code can be invoked from either Jupyter notebook, RMarkdown, Python, or R scripts. Once the data is pushed, it can be accessed via a browser. Open-sourcing dstack: During our customer discovery phase, we realized that dstack.ai should integrate a lot…
2020
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13WA
Today you can easily adopt AI coding tools because you have git for branching and rolling back if AI writes bad code. We haven't seen this same capability for data and decided to build it ourselves. Nile is a new kind of data lake, purpose built for using with AI. It can act as your data engineer or data analyst creating new tables and rolling back bad changes in seconds. We support real versions for data, schema, and ETL. We'd love your feedback on any part of what we are building - https://getnile.ai/ What do you think?
Jan 2026
- 14
- 15AO
Hi, We are building an open-source framework for loading and structuring LLM context to create accurate and explainable LLM answers using knowledge graphs and vector stores. We built the tool with four main concepts in mind: 1. Loader -> uses dlt in the backend to load and structure the data 2. Cognify step -> creates a graph with summaries, labels and factoids that are interconnected across the documents and stored as a representation in the vector store 3. Optimizer -> Uses DSPy to optimize LLM queries, and we plan to extend it to most of the knobs we can turn, like chunking etc. 4. Search…
2024 · github.com
- 16
The smallest async RL trainer I could write: one loop that runs REINFORCE on CartPole on a laptop and async GRPO on a cluster (e.g. 8xH100 trainer, 8 vLLM workers, ran as a [SkyPilot job group](https://docs.skypilot.ai/en/latest/examples/job-groups.html) on k8s ). All without Ray or TRL or DeepSpeed etc., workers talk to the trainer over stdlib HTTP.
24d ago · github.com
- 17
- 18DG
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
- 19IE
Hi HN! GitSummarize is an open-source devtool that I made this weekend. Given any public GitHub repository it generates high-quality documentation from the codebase using Gemini 2.5 Pro. Specifically, it tries to extract the tribal knowledge, business logic/rules embedded within codebases. Pro Tip: You can replace "hub" with "summarize" in any repository URL to access its documentation. I created this because there was a steep learning curve to understanding some of the open-source codebases out there while getting started with contributing. Having detailed documentation would be…
2025 · gitsummarize.com
- 20AA
Hi, I’m a cofounder of AstroBee and I wanted to share our work with the community. AstroBee is an automatic semantic layer generator for your business. It brings data together from different locations, storing it either in your data warehouse or in one we host. Then, AstroBee scans your data and models it to create an integrated source of truth (we call it an ontology because it’s structured like Palantir’s ontology). Once you have your source of truth, you can either build applications on top of it, or chat with directly to answer analytics questions. If you don’t like AstroBee’s original…
Oct 2025 · app.astrobee.ai
- 21UI
My name is Victor, I’m Head of Product at DoubleCloud, a platform that helps data pros build sub-second data analytical solutions and pipelines on open-source technologies like ClickHouse, Apache Kafka, ETL and Business Intelligence services. Hearing from our users, we know how daunting it is to gather insights and try to make sense of all the charts, graphs and metrics, especially when you have to explain it to your business stakeholders. That’s why we’ve just launched our new feature — GPT-4 integrated into our platform’s BI tool. We all know how good ChatGPT is at summarizing texts. But…
2023 · double.cloud
- 22
- 23
- 24GB
Hey HN, We’re excited to share PySpur, an open-source tool that provides a graph-based interface for building, debugging, and evaluating LLM workflows. Why we built this: Before this, we built several LLM-powered applications that collectively served thousands of users. The biggest challenge we faced was ensuring reliability: making sure the workflows were robust enough to handle edge cases and deliver consistent results. In practice, achieving this reliability meant repeatedly: 1. Breaking down complex goals into simpler steps: Composing prompts, tool calls, parsing steps, and branching…
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →