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
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Apr 3, 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
- Experimental Language based on Rust and Haskell☆54Jan 10, 2017Updated 9 years ago
- High-throughput columnar serialization in Rust☆188Jan 17, 2026Updated last month
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- BigData/Rust experimentation. http://www.poumeyrol.fr/2016/01/15/Awkward-zone/☆19Feb 26, 2016Updated 10 years ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- This Projects aims at building realtime Dashboard for managing tasks with Pusher, Laravel and vuejs☆12May 29, 2018Updated 7 years ago
- ☆39Feb 2, 2021Updated 5 years ago
- Rust actor library with a bit of inspiration from Akka/Pykka☆46Jan 14, 2021Updated 5 years ago
- Livro com o conteúdo do material de aulas e do site da Curso-R☆10Apr 16, 2024Updated last year
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Raphael Radar is a JavaScript library to draw a controlable radar chart using Raphael.js, a JavaScript library to draw SVG☆19May 2, 2011Updated 14 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- Single include version for Unicode Algorithms Implementation☆12Dec 11, 2023Updated 2 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Vecty + three.js = ♡☆11Aug 26, 2018Updated 7 years ago
- Peek a stream!☆13Jun 29, 2022Updated 3 years ago
- A place to put any useful little scripts you would like to share here.☆11Nov 18, 2023Updated 2 years ago
- A set of core functionality and convenience structs for a Golang microservice☆10Dec 9, 2021Updated 4 years ago
- CRUD API using Node, Sequelize, Postgres and Docker☆10Jan 13, 2021Updated 5 years ago
- web pipes for your browser's omnibar!☆12Sep 22, 2011Updated 14 years ago
- Monte Carlo Render Viewing and Visualization Tools☆11Apr 20, 2021Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Core seneca implementation.☆11Oct 7, 2015Updated 10 years ago
- A library of test.check generators for graph data☆10Oct 20, 2025Updated 4 months ago
- Native bindings to run python in its native interpreter.☆11May 19, 2017Updated 8 years ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- Take two readable streams and return a readable stream with the xor of the two input chunks☆10May 31, 2020Updated 5 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago