> sqlite isn’t your average C development, it’s got more lines of code written for tests than it does for actual code

It’d be a cool exercise to rewrite in a language that easily targets the C ABI and can thus use the same suite of tests for verification. I suspect Zig would be ideal for this, as would maybe Rust.

Edit: looks like the tests are in tcl not C so nevermind!