This website requires JavaScript.
Explore
Help
Register
Sign In
Hassan Abedi
habedi-work
0 Followers
·
0 Following
Joined on
2026-02-25
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
6
Projects
Packages
Public Activity
Starred Repositories
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
7b2bfa77cf
WIP
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
af0e3560d5
WIP
habedi-work
pushed to
master
at
habedi-work/geolog-zeta-fork
2026-03-20 12:52:21 +00:00
bd9b1cc11d
WIP
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
fcb6bd3e1e
WIP
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
ac2d363737
WIP
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
0e2db4e07b
WIP
Compare 2 commits »
First
Previous
...
3
4
5
6
7
Next
Last