Design documents for distributed DBSP
☆11Oct 23, 2025Updated last year
Alternatives and similar repositories for dist-design
Users that are interested in dist-design are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆17Jun 17, 2022Updated 4 years ago
- This repository contains content related to 2D and 3D lane detection, as well as video lane detection. There are not only papers here, bu…☆14Sep 1, 2024Updated 2 years ago
- Formalization of DBSP☆42Aug 22, 2023Updated 3 years ago
- Unopinionated low level API bindings focused on soundness, safety, and stronger types over raw FFI.☆10Feb 5, 2026Updated 9 months ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago
- OxiGrid is a pure-Rust electrical power systems simulation and optimisation library. It provides production-grade implementations of AC/D…☆17Jul 3, 2026Updated 4 months ago
- Hashi is a full-stack social media app built with Flutter, designed to foster connections and create a vibrant online community.☆23Jul 12, 2024Updated 2 years ago
- YugabyteDB driver and toolkit for Go based on PGX☆15May 15, 2026Updated 5 months ago
- Network Visualization Tools for Native and Web with Rust☆14Aug 14, 2026Updated 2 months ago
- Zeal: Workflow Editor UI for low-code applications☆17Apr 26, 2026Updated 6 months ago
- A forgiving Json lense☆19Jul 13, 2019Updated 7 years ago
- ☆14Aug 11, 2018Updated 8 years ago
- Mako: Speculative Distributed Transactions with Geo-Replication☆16Oct 25, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An extension to the core Scala library for functional programming.☆12Jun 7, 2018Updated 8 years ago
- Placeholder for tracking issues on deca website☆14Aug 13, 2020Updated 6 years ago
- Efficient multi-asset confidential transactions☆34Apr 4, 2019Updated 7 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 3 years ago
- A language built atop the Sparse Synchronous Model☆19Dec 23, 2023Updated 2 years ago
- ISO Schematron schema for DITA☆13Jul 16, 2015Updated 11 years ago
- Turbo Vision, the Clojure way☆11Jan 22, 2019Updated 7 years ago
- Tasks API for Stateful Functions on Flink☆13Aug 22, 2026Updated 2 months ago
- Utility API for querying GMail asynchronously☆12May 11, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆21Apr 17, 2020Updated 6 years ago
- ☆17Apr 3, 2025Updated last year
- ☆14Oct 11, 2017Updated 9 years ago
- 🎵 Supercharge your Tauri app with native media controls. Features system integration, rich metadata, playback control, media keys suppor…☆22Oct 23, 2025Updated last year
- This project aims to develop a bilingual foundation model with both language and multimodal capabilities. The objective is to enhance an …☆16Oct 16, 2026Updated 3 weeks ago
- A sample app for handling email with embedded structured data for Gmail Actions☆11Nov 11, 2013Updated 13 years ago
- The microcontroller firmware of plantbuddy☆20Sep 18, 2023Updated 3 years ago
- Actor-based DAG workflow execution engine for low-code applications and Agentic AI☆22Jul 3, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Unikong - April 1st, 2016 - Stack Overflow - OFFICIAL RELEASE HERE: https://github.com/StackExchange/unikong☆12May 4, 2016Updated 10 years ago
- Clojure LLM - Dataset curation for fine tuning an LLM for Clojure.☆17Jun 12, 2023Updated 3 years ago
- Streaming and Incremental Computation Framework☆250Jun 10, 2023Updated 3 years ago
- The specification of the LDBC Financial Benchmark☆18Jan 9, 2026Updated 10 months ago
- american fuzzy lop fuzzer from lcamtuf☆14Oct 31, 2014Updated 12 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- Mycelium API Gateway, the ultimate solution for secure, flexible, and multi-tenant API management☆25Updated this week
Are these results useful?