Experimental MLIR based points-to analysis tool
☆18Apr 29, 2026Updated 6 months ago
Alternatives and similar repositories for potato
Users that are interested in potato are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Sep 18, 2026Updated last month
- ☆12Nov 2, 2022Updated 4 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆14Jun 15, 2026Updated 4 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.
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆448Apr 13, 2026Updated 6 months ago
- A utility library to bridge llvm and mlir gaps.☆16Jan 8, 2025Updated last year
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- ☆13Jun 20, 2022Updated 4 years ago
- Graspan-G is a GPU-based version of Graspan.☆10May 26, 2021Updated 5 years ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 12 years ago
- ☆44Jun 28, 2025Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 9 years ago
- Pull your compiler up with abstract bootstraps.☆32Dec 15, 2022Updated 3 years ago
- Sorted grep.☆13Mar 26, 2015Updated 11 years ago
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 3 years ago
- An experiment in using DuckDB for a datalog / egg☆26Oct 11, 2023Updated 3 years ago
- Project for learning about llvm☆18Sep 13, 2022Updated 4 years ago
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- A collection of command-line tools based on Dyninst☆18Jun 3, 2021Updated 5 years ago
- Embedded Universal DSL: a good DSL for us, by us☆86Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated last year
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆35Jul 8, 2024Updated 2 years ago
- Rust bindings for Apple's FoundationModels.framework☆24Aug 16, 2026Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- This is java implementation of Graspan.☆22Dec 20, 2023Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆18Dec 8, 2020Updated 5 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.
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 24, 2026Updated last week
- A Full-System Framework for Simulating NDP devices from Caches to DRAM☆22Jan 12, 2024Updated 2 years ago
- Tool for differentially testing soundness and precision of program analyzers☆12Oct 19, 2018Updated 8 years ago
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆23Mar 9, 2024Updated 2 years ago
- CClyzer port to souffle lang☆21Updated this week