Naaaah-- come on, you've linked to one yourself! (-: It seems that website has usage examples for Kaitai supported languages for its collection of structs. There is also a large test suite. And the docs page links to Understanding industrial network traffic, dissectors and Lua and Kaitai.
Ah! I am sorry I was so sure about it. I've missed the fact SQLite relies on a certain set of host OS API. Playdate provides a custom, very limited API. That poses a challenge to support SQLite in userspace. I still believe it is possible, but now not so straightforward.
I think Playdate OS runs on FreeRTOS? A quick look suggests that FreeRTOS provides some subset of POSIX API, which is likely better suited to port SQLite and make it a part of Playdate SDK... BUT!-- as Dave's mentioned in the linked forum thread, they are not going to do it. I find it reasonable.
A few quick mentions, just for the record:
- Playdate runs on ARM Cortex M7.
- Chips used: Rev A has STM32F7. Rev B---STM32H7.
- The mentioned project luismeruje/SQLite-STM32 is for STM32H743ZI, which is ARM Cortex M7. However, it's intended to run on bare metal(?) and Playdate has an OS.
- One SQLite forum post that describes how SQLite could be ported to run on ARM Cortex-M7.
Again: it largely depends on the exact kind of software you are making for Playdate.
By the way, what Lua versions does Kaitai Struct support? I've seen somewhere on their GitHub version 5.1 being mentioned. Playdate runs 5.4. There are a few small, but nevertheless incompatible changes between each of Lua 5.x releases. Shouldn't be a deal breaker, but keep that in mind.
Anyway, it begins to smell like an XY problem to me indeed. You seem to insist on having SQLite database files, why? Can you use another, lighter DB? (Some key-value embedded DB, analogues to Berkeley DB, for example.) Please, tell us: what are you making or what is your specific technical task at hand?