Stars
A formal consistency proof of Quine's set theory New Foundations
A Write-Ahead Log (WAL) design built exclusively on object storage primitives.
The number of the beast - compute the Gödel sentence
Playground to run an end to end bauplan project as part of data camp code along
Playground for running agentic workflows over a programmable warehouse
A collection of "git for data" snippets, models, resources
Eudoxia: a simulator for workloads in a FaaS lakehouse
Distributed pushdown cache for DataFusion
An MCP server to interact with data and run pipeline using Bauplan
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
reference implementations and use cases done with bauplan
Reference implementation of embedding-based, sequential recommendations, using Bauplan (with Apache Iceberg + Apache Arrow) for data preparation and training, and MongoDB for serving real-time sugg…
Collection of reference implementations for lakehouse patterns with Bauplan and Prefect
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients. Published in Nature.
Apache Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.
A write-audit-publish implementation on a data lake without the JVM
A complete(grpc service and lib) Rust inference with multilingual embedding support. This version leverages the power of Rust for both GRPC services and as a standalone library, providing highly ef…
Multi-LoRA inference server that scales to 1000s of fine-tuned LLMs
Pathology Language and Image Pre-Training (PLIP) is the first vision and language foundation model for Pathology AI (Nature Medicine). PLIP is a large-scale pre-trained model that can be used to ex…