Hacker GitHub

← All repos

ekzhang/crepe

View on GitHub ↗ ★ 537 Rust

Datalog compiler embedded in Rust as a procedural macro

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2020-09-02 · latest 2024-01-22

Mentions per year 3 mentions · busiest year 2020 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …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
    comment by rebanevapustus · 2024-01-22 · in Datalog in 100 lines of JavaScript (2022)
  2. …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
    comment by westurner · 2023-12-05 · in GDlog: A GPU-accelerated deductive engine