ada_nifs. Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).

github.com/andyarvanitis/ada_nifs
by @andyarvanitis

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.