Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
☆30Jun 10, 2023Updated 2 years ago
Alternatives and similar repositories for sql-to-dbsp-compiler
Users that are interested in sql-to-dbsp-compiler are comparing it to the libraries listed below
Sorting:
- ☆18Oct 15, 2024Updated last year
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 3 years ago
- Idempotent query executor☆52Apr 28, 2025Updated 10 months ago
- Apache Baremaps is a toolkit and a set of infrastructure components for creating, publishing, and operating online maps.☆16Oct 3, 2025Updated 4 months ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- sql-logic-test☆70Sep 11, 2023Updated 2 years ago
- ☆22Updated this week
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆21Jun 5, 2024Updated last year
- Experimental DataFusion Optimizer☆52Jun 9, 2023Updated 2 years ago
- ☆29May 6, 2022Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆151Jan 11, 2026Updated last month
- ☆26Dec 8, 2022Updated 3 years ago
- ☆67Aug 21, 2024Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 2 years ago
- A read-optimized learned index for unsorted data☆32Aug 10, 2023Updated 2 years ago
- A local first persistent log☆36Sep 14, 2025Updated 5 months ago
- Collaborative editing for the CodeMirror code editor☆48Dec 30, 2025Updated 2 months ago
- ☆34Oct 29, 2025Updated 4 months ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- kafka-connect-jdbc system test based on testcontainers☆13Sep 29, 2023Updated 2 years ago
- Spring Boot 3 / Spring Cloud Function on AWS Lambda Java 17☆10Nov 8, 2023Updated 2 years ago
- ☆12Apr 8, 2025Updated 10 months ago
- A template repo for squids indexing Ethereum mainnet☆12Oct 30, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- DX Hub: ignite your Backstage Developer Portal☆12Jul 6, 2024Updated last year
- ☆16Jul 19, 2024Updated last year
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- Website for LauzHack, EPFL's largest hackathon.☆12Feb 20, 2026Updated last week
- Optimism-Python: Unofficial Python Client for the OP-Stack☆16Nov 1, 2024Updated last year
- a kind system for schematizing objects☆12Dec 20, 2023Updated 2 years ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- Official Pangea Java Monorepo☆13Updated this week
- The core engine orchestrating all the Swiss AI Center services.☆10Feb 23, 2026Updated last week
- Gradle plugin for working with mock AWS endpoints using LocalStack.☆11Jul 1, 2021Updated 4 years ago
- ☆13Nov 14, 2013Updated 12 years ago
- Goblin OGM on top of TinkerPop 3☆11Jul 20, 2023Updated 2 years ago