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).
andyarvanitis/ada_nifs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|