search

mikhailramalho / camada

Apache License 2.0
4 stars 0 forks source link

C API for Camada #8

Open pmatos opened 3 years ago

pmatos commented 3 years ago

It would be really interesting to have a C API for this so that we can easily embed Camada in other languages through FFI bindings.

An interesting motivation project is binaryen that is written in C++ but then offer a C API, which eases integrations into other language. I did something like this for Racket in https://github.com/pmatos/racket-binaryen. Would definitely be interested in adding bindings for Camada to Racket as well.

mikhailramalho commented 3 years ago

C API is definitely in the plans!

Thanks for the reference, I initially planned to use CVC4's C API written in C++ as a reference but apparently, it is no longer available...