Hassan Abedi habedi-work
  • Joined on 2026-02-25
habedi-work created repository habedi-work/integrations 2026-03-24 08:38:28 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 13:12:05 +00:00
63e28fc7a9 Add a note file about Geolog to Datalog translation
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 12:53:25 +00:00
50ae1473e4 Add a comparison notes between Geolog and Datalog
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 12:46:22 +00:00
33e826b6e5 Add a comparison notes between Geolog and Datalog
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 11:51:07 +00:00
5ddd15d166 Make it easier to work and review
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 09:13:15 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-23 09:00:49 +00:00
638bb6db8e Add an AGENTS.md file to project
e97b87060a Fix a few bugs in the GUI
Compare 2 commits »
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-20 13:47:43 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-20 12:52:21 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-20 10:30:35 +00:00
9ec827c607 Fix a few bugs in the GUI
84d1f0d86a Add a simple GUI
6518e99263 Add a simple debugger implmenation
e6b1c64ad9 Add notes on missing components
d13c756954 Expand notes with examples and more explanations
Compare 7 commits »
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-20 10:06:06 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-20 10:01:08 +00:00
a6a57ab53f Add a simple GUI
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-19 16:42:13 +00:00
7a57c6daef Add a simple debugger implmenation
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-19 15:39:26 +00:00
38bccbfa3f Add notes on missing components
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-19 13:41:02 +00:00
15821e53ce Expand notes with examples and more explanations
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-19 13:27:21 +00:00
966cd3ad1b Improve the naming of note files
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-19 13:18:09 +00:00
4d1044b0af Adding more notes on the project
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-17 15:05:13 +00:00
habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-03-17 12:24:26 +00:00
3134ad5e65 Add additonal notes about the project
habedi-work pushed to main at habedi-work/chase-rs 2026-03-16 13:24:43 +00:00
ee21bee039 Add predicate indexing, standard chase variant, and EGD support
Compare 2 commits »