☆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
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Oct 12, 2026Updated 3 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 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.
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 6 months ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆20Mar 19, 2024Updated 2 years ago
- An interactive Datalog☆79Oct 16, 2026Updated 3 weeks ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- A mini introductory Datalog tutorial for people who know some Clojure☆10Nov 19, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- an arrowized category-forward language☆20Oct 14, 2025Updated last year
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated last year
- ☆14Dec 9, 2022Updated 3 years ago
- ☆44Jun 28, 2025Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- WIP Java decompiler☆25Dec 3, 2025Updated 11 months ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆22Sep 11, 2026Updated last month
- Rust interface for the RDFox database☆13Mar 15, 2026Updated 7 months ago
- 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.
- ☆20Oct 15, 2024Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 4 months ago
- Library to manipulate and create Sourcetrail databases☆24Oct 14, 2026Updated 3 weeks ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 18, 2026Updated 8 months ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 9 months ago
- Documentation of our monthly evening meetups☆14Dec 9, 2025Updated 10 months ago
- Datalog with equality for rust☆77Oct 18, 2026Updated 2 weeks ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 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.
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 3 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆58Apr 24, 2026Updated 6 months ago
- Awesome datalog libraries, tools and resources☆64Jan 3, 2020Updated 6 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆17Updated this week
- ☆19Feb 10, 2026Updated 8 months ago
- Glyph3D but for the webbies☆13Updated this week