Hassan Abedi

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-27 08:32:45 +00:00

6a0c04b9c5 Add three more Haskell examples (with their note files)

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-24 10:46:25 +00:00

c7b7f2fdd4 WIP

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-24 10:45:43 +00:00

5d82986f30 Add two more Nix/Flake examples (with their note files)

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-23 14:25:34 +00:00

981bb0d4de Add three more Nix/Flake examples (with their note files)

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-23 11:43:06 +00:00

524ef75505 Update the AGENTS.md and make it more robust to change

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-23 09:15:12 +00:00

52aea18780 Add more Nix/Flake examples (and accompanying notes files)

4177cdb552 Add more mini-Haskell projects (plus related note files)

d7dc17eac0 Expand mini-Haskell projects (add three more)

660ba99f17 Add a more advanced haskell project

cc55974109 Add a mini-haskell project with Cabal and flakes

Compare 10 commits »

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-23 09:10:22 +00:00

0e9cdee655 Add more Nix/Flake examples (and accompanying notes files)

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-22 13:44:11 +00:00

8770636be3 WIP

habedi-work pushed to master at habedi-work/nix-playgraound

2026-04-22 13:43:35 +00:00

615d54531d Add more mini-Haskell projects (plus related note files)

habedi-work pushed to master at habedi-work/query-engine

2026-04-14 10:53:12 +00:00

d1aed64194 Improve the frontend UI (REPL, TUI, and the web UI)

habedi-work pushed to master at habedi-work/query-engine

2026-04-14 08:37:24 +00:00

b7c90a18de WIP

habedi-work pushed to master at habedi-work/query-engine

2026-04-14 08:24:42 +00:00

5b52a45b81 Add a few example scripts

habedi-work pushed to master at habedi-work/query-engine

2026-04-14 08:16:49 +00:00

d7b2eb4144 Add TUI frontend and syntax highlighting (REPL and web UI)

habedi-work pushed to master at habedi-work/query-engine

2026-04-14 08:05:32 +00:00

c3a1c7d9dd Add negative constraints, stratified negation, and CSV import/export

habedi-work pushed to master at habedi-work/query-engine

2026-04-13 11:54:47 +00:00

5b206bfc23 Add filter push-down and SQL aggregation/GROUP BY

177cee7044 Add Skolem chase and semi-naive evaluation support

Compare 2 commits »

habedi-work pushed to master at habedi-work/query-engine

2026-04-13 11:14:06 +00:00

e63a47f7bd Add filter push-down, SQL aggregation/GROUP BY

habedi-work pushed to master at habedi-work/query-engine

2026-04-13 09:01:39 +00:00

57a6eaaef6 Add Skolem chase and semi-naive evaluation support

habedi-work pushed to master at habedi-work/query-engine

2026-04-10 14:07:37 +00:00

f0d22976c7 WIP

dff8adebfa Decouple executor from Instance via DataSource trait

Compare 2 commits »

habedi-work pushed to master at habedi-work/query-engine

2026-04-10 13:27:20 +00:00

52cb492bce Add oblivious chase, broader SQL operators, LIMIT, and integer literals

habedi-work pushed to master at habedi-work/query-engine

2026-04-10 13:23:55 +00:00

23750fec04 Add oblivious chase, broader SQL operators, LIMIT, and integer literals

be8e1388bc Support qualified table names in single-table SQL queries

7c4cb70047 Reject mixed wildcard SQL projections without panicking

7111a682ff Fix single-table aliases and empty schema tables

Compare 4 commits »