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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BigData/Rust experimentation. http://www.poumeyrol.fr/2016/01/15/Awkward-zone/☆19Feb 26, 2016Updated 10 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- ☆12Mar 26, 2025Updated last year
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Apr 19, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 2 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- They only live to get radical.☆13Nov 29, 2018Updated 7 years ago
- ☆11Apr 26, 2021Updated 5 years ago
- A Purescript interface to xstream☆11Nov 11, 2017Updated 8 years ago
- simple charting tools for unix.☆28Oct 22, 2015Updated 10 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- Sample user-management (signup, login) with Fastify and JWT☆19Jun 5, 2019Updated 7 years ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pure and light binary records☆23May 20, 2014Updated 12 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 2 months ago
- Prototype Optimization Coach for SpiderMonkey☆12May 1, 2015Updated 11 years ago
- exploring nes emulation in electron☆15Mar 31, 2017Updated 9 years ago
- High-throughput columnar serialization in Rust☆199Jun 27, 2026Updated last week
- Experimental Language based on Rust and Haskell☆55Jan 10, 2017Updated 9 years ago
- The Linda process coordination language written in Clojure.☆27Sep 18, 2015Updated 10 years ago
- Node callbacks as thunks☆20Jan 31, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Churros is a Javascript library for sycing a local HTML 5 Web SQL Database with your server's database.☆13Feb 27, 2011Updated 15 years ago
- Engines, queries, and data for dynamic Datalog computation☆135Aug 4, 2021Updated 4 years ago
- ☆15Jul 1, 2025Updated last year
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- Spacewar arcade game using python and pygame/SDL☆14Jul 5, 2016Updated 10 years ago
- git supported code archive and reference for org-mode☆16Jul 11, 2021Updated 4 years ago
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 4 years ago
- Deno VS Code Extension Pack☆11Nov 11, 2020Updated 5 years ago
- Retry combinators for monadic Aff actions that may fail☆14Aug 15, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- BIT: A Very Compact Scheme System for Microcontrollers☆44Apr 2, 2016Updated 10 years ago
- node.js addon that provides an Watchable class that has getters/setters without property names☆27Sep 18, 2011Updated 14 years ago
- helper streams for riemann to acknowledge alerts☆14Dec 10, 2014Updated 11 years ago
- JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v12.0.0’s categories, s…☆20Jun 13, 2026Updated 3 weeks ago
- See Twitter's emotional state, in real-time☆29Feb 4, 2010Updated 16 years ago
- web pipes for your browser's omnibar!☆12Sep 22, 2011Updated 14 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Aug 22, 2018Updated 7 years ago