☆19May 11, 2025Updated 10 months ago
Alternatives and similar repositories for materialized-view
Users that are interested in materialized-view are comparing it to the libraries listed below
Sorting:
- ☆19Oct 15, 2024Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆152Jan 11, 2026Updated 2 months ago
- Incremental View Maintenance for Python backends☆21Jan 11, 2024Updated 2 years ago
- A curated list of software, services, and resources for SQLite☆17Jun 16, 2025Updated 9 months ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 7 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- Rust library of fast and compact string dictionary using Front-Coding☆12Mar 27, 2022Updated 3 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 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…☆20Apr 17, 2020Updated 5 years ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- Common Wasm runtime binding to C API☆28Aug 22, 2023Updated 2 years ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated 11 months ago
- A layout modifier that makes window-window spacing equal to window-edge spacing.☆16Jul 18, 2016Updated 9 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- ☆12Jun 7, 2024Updated last year
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- Mega script to deploy/configure/run OVN scale tests.☆14Jan 14, 2026Updated 2 months ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆15Jul 20, 2020Updated 5 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- Tools to visualise and debug a timely-dataflow program☆28May 29, 2019Updated 6 years ago
- Extension to simple-call-tree.el - emacs lisp code for displaying a simple call tree.☆19Jul 13, 2024Updated last year
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- Lightweight BI app based on git repo☆14Dec 12, 2023Updated 2 years ago
- This repo was the first place where we ever talked about flakes. Since then, the activity has now moved to upstream @NixOS/nix.☆13Nov 24, 2018Updated 7 years ago
- A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.☆22May 8, 2024Updated last year
- ☆13Dec 30, 2016Updated 9 years ago
- Emacs Math Symbol Input and LaTeX conversion tools.☆13Oct 5, 2020Updated 5 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- Kubernetes Client Rust☆22Nov 28, 2018Updated 7 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 11 months ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆16Nov 11, 2021Updated 4 years ago
- ☆33May 9, 2025Updated 10 months ago
- A Datomic-like database library on top of Sqlite☆42Dec 26, 2025Updated 2 months ago