☆14Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for micro-datalog
Users that are interested in micro-datalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21May 11, 2025Updated last year
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated 3 weeks ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated 11 months ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- ☆44Jun 28, 2025Updated last year
- FPGA synthesis tool powered by equality saturation and program synthesis.☆15Jan 9, 2026Updated 9 months ago
- ☆20Oct 15, 2024Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated last year
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- an arrowized category-forward language☆19Oct 14, 2025Updated last year
- 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.
- Prolog, Datalog, languages, resources, and beyond!☆37Aug 8, 2026Updated 2 months ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 10 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Library to manipulate and create Sourcetrail databases☆24Jul 6, 2026Updated 3 months ago
- Awesome datalog libraries, tools and resources☆64Jan 3, 2020Updated 6 years ago
- Rust interface for the RDFox database☆13Mar 15, 2026Updated 7 months ago
- Datalog with equality for rust☆76Updated this week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years 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.
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆17Oct 8, 2026Updated last week
- ☆19Feb 10, 2026Updated 8 months ago
- The Flix Programming Book☆27Updated this week
- A tutorial on writing wasm by hand☆24Apr 4, 2022Updated 4 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 10, 2026Updated last week
- K interpreter in 90 lines of Python☆18May 31, 2026Updated 4 months ago
- Code Continuity Analysis Framework☆22Mar 3, 2025Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 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.
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆84Oct 1, 2026Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Updated this week