A set of tools for working with datafrog
☆30Sep 1, 2025Updated 10 months ago
Alternatives and similar repositories for datapond
Users that are interested in datapond are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental columnar arena☆44Feb 8, 2026Updated 5 months ago
- Engines, queries, and data for dynamic Datalog computation☆136Aug 4, 2021Updated 4 years ago
- The CompCert formally-verified C compiler☆11Updated this week
- ☆22Feb 10, 2022Updated 4 years ago
- A test framework for testing rustc diagnostics output☆45Jun 27, 2026Updated 3 weeks 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.
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- A library for working with mmap'd graph data☆11Nov 29, 2020Updated 5 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)☆14May 31, 2026Updated last month
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆10Jul 29, 2020Updated 5 years ago
- Read, write, and manipulate the Wasm WebIDL bindings custom section☆40Feb 3, 2020Updated 6 years ago
- Example build script for developing ClojureScript projects using Clojure 1.9 CLI tools☆19Mar 18, 2018Updated 8 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.
- An EDN (Extensible Data Notation) parser in Rust.☆48May 15, 2020Updated 6 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Sep 4, 2016Updated 9 years ago
- Package for union datascript and mori☆37Feb 7, 2020Updated 6 years ago
- The essence of Rust.☆135Feb 25, 2022Updated 4 years ago
- Inline procedural macros for Rust☆56Aug 27, 2022Updated 3 years ago
- experimental datalog rules for a next gen polonius☆19Sep 6, 2022Updated 3 years ago
- ☆21Jun 25, 2026Updated 3 weeks ago
- A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.☆38Dec 2, 2020Updated 5 years ago
- A lightweight Datalog engine in Rust☆888Dec 14, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust In-Memory Filesystem☆18Nov 28, 2019Updated 6 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- A Rust proc_macro_attribute to outline conversions from generic functions☆288Updated this week
- Kubeflow Pipelines Event Handler☆12Sep 16, 2021Updated 4 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- An exploration into the various ways optional trait methods can be implemented in Rust.☆43Jul 2, 2025Updated last year
- Generate a list of merged PRs since the last release☆21Nov 8, 2020Updated 5 years ago
- Visualize logical condition pattern matches.☆12May 28, 2018Updated 8 years ago
- Natural Language Processing for Clojure's common Datalog flavor☆42Jan 15, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- 🦀 Rust interface for integrating https://mod.io - a modding API for game developers☆22Dec 21, 2025Updated 7 months ago
- Tools to visualise and debug a timely-dataflow program☆28May 29, 2019Updated 7 years ago
- Diagnostic tools for timely dataflow computations☆51Jul 6, 2022Updated 4 years ago
- Rust bindings to Intel's DPDK.☆13Oct 1, 2018Updated 7 years ago
- The mock HTTP upstream for development of HTTP applications and reverse proxies.☆23Aug 24, 2023Updated 2 years ago
- Rust bindings to Open MPI Portable Hardware Locality "hwloc" library 2.x☆15Oct 27, 2023Updated 2 years ago