vertical + gpu + free join + datalog
☆22Feb 12, 2025Updated last year
Alternatives and similar repositories for fvlog
Users that are interested in fvlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆93Oct 22, 2024Updated 2 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- ☆12Oct 13, 2026Updated 3 weeks ago
- ☆15Dec 2, 2019Updated 6 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- A meta-tracing JIT☆16Nov 3, 2026Updated last week
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 6 months ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 6 years ago
- benchmarking e-graph extraction☆54Feb 2, 2026Updated 9 months ago
- CTADL is a static taint analysis tool☆67Jun 24, 2026Updated 4 months 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.
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Terminating is exciting☆22Nov 3, 2016Updated 10 years ago
- An experiment in using DuckDB for a datalog / egg☆26Oct 11, 2023Updated 3 years ago
- A StableHLO analyzer in Lean☆26Oct 8, 2026Updated last month
- This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust im…☆28May 14, 2026Updated 5 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆21Sep 20, 2021Updated 5 years ago
- Persistent Containers and Iterators for C++☆14Oct 12, 2026Updated last month
- Lean 4 framework for reasoning about Triton-style kernels.☆31Updated this week
- Examples from the class CMSC 330 during Summer 2015☆49Jul 23, 2015Updated 11 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.
- ICTV taxonomy database - data export, schema and maintenance scripts☆17Nov 4, 2026Updated last week
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆36Jul 8, 2024Updated 2 years ago
- ☆13Jun 18, 2024Updated 2 years ago
- Optimizing database queries with array programming☆20Sep 21, 2020Updated 6 years ago
- Datalog + Egg = Good☆67May 31, 2023Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 7 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- Logic programming in Rust☆596Aug 29, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Distributed k-nearest Neighbors using Locality Sensitive Hashing and SYCL☆10Oct 11, 2026Updated last month
- Experiments for "D. Davis, D. Drusvyatskiy, and L. Jiang. Gradient descent with adaptive stepsize converges (nearly) linearly under fourt…☆10May 2, 2025Updated last year
- ☆13Oct 31, 2024Updated 2 years ago
- A repository for sharing D3.js plugins.☆12Jun 4, 2015Updated 11 years ago
- Visualise eventlog events as a static webpage☆73Jun 3, 2025Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 24, 2026Updated 2 weeks ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆235Jan 22, 2024Updated 2 years ago
Are these results useful?