crepe

Datalog compiler embedded in Rust as a procedural macro

3Distinct people

3Mentions

0Explicit recommenders

537GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

Datalog compiler embedded in Rust as a procedural macro

GitHub

No documented product use has been verified yet.

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

No other repository is repeatedly linked in the same discussions.

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

HN mentions by year3 dated mentions

Observed mentions: 2020-09-02 15:22:04 UTC to 2024-01-22 17:05:16 UTC.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges

UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Submissions	Comments
2020	2020-01-01 00:00:00 UTC	2021-01-01 00:00:00 UTC	1	1	0
2021	2021-01-01 00:00:00 UTC	2022-01-01 00:00:00 UTC	0	0	0
2022	2022-01-01 00:00:00 UTC	2023-01-01 00:00:00 UTC	0	0	0
2023	2023-01-01 00:00:00 UTC	2024-01-01 00:00:00 UTC	1	0	1
2024	2024-01-01 00:00:00 UTC	2025-01-01 00:00:00 UTC	1	0	1

3 sources

I second the disgruntled commenter's feelings. This has nothing to do with Datalog. Here are three accurate and sound Datalog implementations: 1: https://github.com/ekzhang/crepe 2: https://github.com/s-arash/ascent 3: https://github.com/brurucy/micro-datalog

"Introduction to Datalog" re: Linked Data https://news.ycombinator.com/context?id=34808887 pyDatalog/examples/SQLAlchemy.py: https://github.com/baojie/pydatalog/blob/master/pyDatalog/ex... GH topics > datalog: https://github.com/topics/datalog datalog?l=rust: https://github.com/topics/datalog?l=rust ... Cozo, Crepe Crepe: https://github.com/ekzhang/crepe : > Crepe is a library that allows you to write declarative logic programs in Rust, with a Datalog-like syntax. It provides a procedural macro that generates efficient, safe code and interoperates seamlessly with Rust programs. Looks like there's not yet a Python grammar for the treeedb tree-sitter: https://github.com/langston-barrett/treeedb : > Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages. Looks like roxi supports n3,

Read the rest

which adds `=>` "implies" to the Turtle lightweight RDF representation: https://github.com/pbonte/roxi FWIW rdflib/owl-rl: https://owl-rl.readthedocs.io/en/latest/owlrl.html : > simple forward chaining rules are used to extend (recursively) the incoming graph with all triples that the rule sets permit (ie, the “deductive closure” of the graph is computed). ForwardChainingStore and BackwardChainingStore implementations w/ rdflib in Python: https://github.com/RDFLib/FuXi/issues/15 Fast CUDA hashmaps Gdlog is built on CuCollections. GPU HashMap libs to benchmark: Warpcore, CuCollections, https://github.com/NVIDIA/cuCollections https://github.com/NVIDIA/cccl https://github.com/sleeepyjack/warpcore /? Rocm HashMap DeMoriarty/DOKsparse: https://github.com/DeMoriarty/DOKSparse /? SIMD hashmap Google's SwissTable: https://github.com/topics/swisstable rust-lang/hashbrown: https://github.com/rust-lang/hashbrown CuPy has array but not yet hashmaps, or (GPU) SIMD FWICS? NumPy does SIMD: https://numpy.org/doc/stable/reference/simd/ google/highway: https://github.com/google/highway xtensor-stack/xsimd: https://github.com/xtensor-stack/xsimd GH topics > HashMap: https://github.com/topics/hashmap