A chase algorithm implementation in Rust 🦀
Updated 2026-03-09 10:22:56 +00:00
An LSP implementation for the `geolog` language
Updated 2026-03-06 18:11:49 +00:00
Trinkets, odds, and ends. That sort of things
Updated 2026-03-06 12:25:32 +00:00
A fork of the https://git.sgai.uk/davidad/geolog-zeta
(based on commit with hash 51f79776334a307ffa34ac80c14c17bb75c31b34)
Updated 2026-02-26 10:51:19 +00:00
Updated 2026-02-25 19:56:44 +00:00
Updated 2026-02-24 02:26:08 +00:00
A playground for Rust/Haskell FFI work
Updated 2026-02-20 09:54:51 +00:00
Simple web frontend for toy-datalog
Updated 2026-01-26 17:42:45 +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
Updated 2024-09-08 10:13:58 +00:00
Updated 2024-09-07 19:41:09 +00:00
Org docs preserved so that information isn't lost, may look like incoherent ramblings, feel free to ask about any of the contents!
Updated 2024-09-02 15:07:52 +00:00
Will be used to test Smithy's Gitea integration
Updated 2024-09-01 18:35:04 +00:00
Updated 2024-09-01 13:31:26 +00:00