Re: Appetite for Frama-C annotations?

Chapman Flack <chap@anastigmatix.net> writes:

> On 12/09/21 12:53, Colin Gilbert wrote:
>> ... plugins written in
>> something like Rust or Ada/SPARK? I write this, hoping not to tread on
>
> Some work toward supporting "deep" PostgreSQL extensions in Rust
> was presented at PGCon 2019 [0].

There's also https://github.com/zombodb/pgx/, which seems more complete
from a quick glance.

https://depth-first.com/articles/2021/08/25/postgres-extensions-in-rust/


- ilmari