Trinkets, odds, and ends. That sort of things 📝
Updated 2026-05-13 10:54:21 +00:00
A playground for upskilling and trying new things related to Nix/Flake and Haskell ecosystem❄️
Updated 2026-05-05 09:17:44 +00:00
A flake to help out with all things related to DTCC onboarding.
Updated 2026-04-22 16:20:23 +00:00
A place for SGAI-related code experiments
Updated 2026-04-15 16:10:07 +00:00
A playground for Rust/Haskell FFI work
Updated 2026-04-15 11:27:51 +00:00
Material for building a (generic) query engine (with a hybrid chase-SQL querying interface)
Updated 2026-04-14 10:53:12 +00:00
A chase algorithm implementation (with a lot of features like REPL, GUI, etc.) in Rust 🦀
Updated 2026-04-09 10:45:41 +00:00
Semi-vibe-coded Haskell MCP example - more interesting example now at https://github.com/georgefst/quadris/tree/mcp/
Updated 2026-03-30 18:03:43 +00:00
Integrating components written in different languages (like Haskell and Rust)
Updated 2026-03-27 08:20:41 +00:00
A fork of the https://git.sgai.uk/davidad/geolog-zeta (based on commit with hash 51f79776334a307ffa34ac80c14c17bb75c31b34) 🦀
Updated 2026-03-24 08:47:35 +00:00
An LSP implementation for the `geolog` language
Updated 2026-03-09 16:19:56 +00:00
Updated 2026-02-25 19:56:44 +00:00
Updated 2026-02-24 02:26:08 +00:00
Simple web frontend for toy-datalog
Updated 2026-01-26 17:42:45 +00:00
Toy Datalog Implementation
Updated 2026-01-26 17:36:57 +00:00
Updated 2025-08-22 09:19:11 +00:00
Updated 2025-04-29 12:51:47 +00:00
Updated 2025-04-17 20:53:18 +00:00
Updated 2025-04-10 14:15:27 +00:00
Updated 2024-09-08 10:14:18 +00:00