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
7
Projects
Packages
Public Activity
Starred Repositories
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 11:34:17 +00:00
dc8b191182
Add a note file about decoupling the IR design
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 11:22:24 +00:00
70c12121dd
Add a glossary of important terms related to the IP
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 09:03:46 +00:00
26f15d2942
WIP
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 08:58:37 +00:00
4f1e247043
Add notes on query engine architecture and placement
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 08:45:49 +00:00
f6af3ab731
WIP
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 08:41:28 +00:00
dc343be7ad
Add a status section the IR note file
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 08:34:53 +00:00
6ba970e55c
Add a glossary section the IR note file
bbe9653a78
Add a note on current version of Geolog's IR
Compare 2 commits »
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-30 08:10:17 +00:00
900f5bab95
Add a note on current version of Geolog's IR
857261803a
WIP
Compare 2 commits »
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-27 08:20:41 +00:00
728322ef0e
Add Rust/Haskell slice and buffer interop demos
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-26 15:07:55 +00:00
a8fc42943d
Add a note file for Datomic
0492afb080
Update hassan/008-chase-algorithm.md
76df701b43
Add document about relevant logical concepts
cf5be6e772
Add information about chase algorithm variants
e8a0e7c5c2
Make chase algotithm notes general
Compare 7 commits »
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-26 15:07:22 +00:00
809e102f95
Add a note file for Datomic
habedi-work
pushed to
main
at
habedi-work/useful-notes
2026-03-26 15:05:46 +00:00
bd64f88496
Add a note file for Datomic
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-26 10:01:58 +00:00
317f1d0a0c
Add more details to the main
README.md
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-26 09:55:43 +00:00
0d961488cb
WIP
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-26 09:45:53 +00:00
796b67cdb8
Add a Haskell and a Rust project that talk to each other
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-24 16:59:30 +00:00
95dd351858
WIP
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-24 16:58:25 +00:00
4cc2cb047c
WIP
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-24 13:26:17 +00:00
8728e0062a
Add an
AGENTS.md
file to project
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-24 13:07:35 +00:00
dfe05b2456
The base commit
habedi-work
pushed to
master
at
habedi-work/integrations
2026-03-24 13:04:42 +00:00
abe09d198e
WIP
First
Previous
...
4
5
6
7
8
...
Next
Last