frankmcsherry / explanationView external linksLinks
Infrastructure for explaining the outputs of differential dataflow computations
☆23Sep 4, 2016Updated 9 years ago
Alternatives and similar repositories for explanation
Users that are interested in explanation are comparing it to the libraries listed below
Sorting:
- A library for working with mmap'd graph data☆11Nov 29, 2020Updated 5 years ago
- ☆12Mar 26, 2025Updated 10 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Apr 3, 2019Updated 6 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Jul 6, 2017Updated 8 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 5 months ago
- Experimental Language based on Rust and Haskell☆54Jan 10, 2017Updated 9 years ago
- High-throughput columnar serialization in Rust☆189Jan 17, 2026Updated 3 weeks ago
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Aug 4, 2021Updated 4 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- ☆12Jul 21, 2025Updated 6 months ago
- Optimize pipelines for locality☆14Jan 26, 2026Updated 2 weeks ago
- Rust actor library with a bit of inspiration from Akka/Pykka☆46Jan 14, 2021Updated 5 years ago
- ☆39Feb 2, 2021Updated 5 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆12Jun 26, 2025Updated 7 months ago
- ☆10Mar 28, 2025Updated 10 months ago
- Matlab wrapper for the Jaco2 and Mico API☆12Feb 28, 2022Updated 3 years ago
- ☆14Sep 17, 2025Updated 4 months ago
- ☆12Apr 16, 2018Updated 7 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- scripts and stuff for oanda☆10Jan 7, 2016Updated 10 years ago
- Livro com o conteúdo do material de aulas e do site da Curso-R☆10Apr 16, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Module for finding eigenvalues and wavefunctions using spectral methods.☆12Aug 24, 2016Updated 9 years ago
- ☆11Oct 2, 2019Updated 6 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- Google Bigtable Postgres FDW in Rust☆39Mar 27, 2017Updated 8 years ago
- Decoder for the Automatic Picture Transmission protocol used by some weather satellites in Julia☆12Dec 11, 2024Updated last year
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- Popular directory lister from the early 1990s☆18Mar 17, 2022Updated 3 years ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 3 years ago
- Desktop UI for Geph 迷霧通桌面界面☆12Jan 3, 2023Updated 3 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Drop in sharing features for all iPhone and iPad apps☆11Nov 6, 2012Updated 13 years ago
- Skilift simulator☆11Sep 4, 2020Updated 5 years ago