Hassan Abedi habedi-work

0 Followers · 0 Following

• Joined on 2026-02-25

Repositories

6

Projects Packages Public Activity Starred Repositories

habedi-work pushed to main at habedi-work/useful-notes 2026-03-04 12:25:49 +00:00

4651b09e28 Add comparison of toy-datalog vs felix-db

habedi-work pushed to main at habedi-work/useful-notes 2026-03-04 11:38:00 +00:00

929c71488a WIP

habedi-work pushed to main at habedi-work/useful-notes 2026-03-04 11:37:44 +00:00

654012f2ef Add notes about Cale's and Felix's Datalog implementations

habedi-work pushed to main at habedi-work/useful-notes 2026-03-04 08:59:22 +00:00

9ae3bc9b14 Add notes about Subduction project

habedi-work pushed to main at habedi-work/useful-notes 2026-03-03 11:11:25 +00:00

4009315500 Update .gitignore

habedi-work pushed to main at habedi-work/useful-notes 2026-03-03 11:10:46 +00:00

6922c3ef3b Add comparison of chase and naive fixpoint algorithms

habedi-work pushed to main at habedi-work/useful-notes 2026-02-27 12:06:53 +00:00

1d25c9d217 The base commit

habedi-work created branch main in habedi-work/useful-notes 2026-02-27 12:06:52 +00:00

habedi-work created repository habedi-work/useful-notes 2026-02-27 11:21:19 +00:00

habedi-work pushed to master at habedi-work/geolog-zeta-fork 2026-02-26 10:51:19 +00:00

ac2f202594 The base commit

habedi-work created branch master in habedi-work/geolog-zeta-fork 2026-02-26 10:51:18 +00:00

habedi-work created repository habedi-work/geolog-zeta-fork 2026-02-26 10:41:11 +00:00