Some experimenting with writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write (inspired by projects like Rustler for Rust) and the core code of the NIFs themselves being provable/verifiable (SPARK + GNATprove).
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Some experimenting with writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write (inspired by projects like Rustler for Rust) and the core code of the NIFs themselves being provable/verifiable (SPARK + GNATprove).