Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).
Experiments in implementing monads in Ada / SPARK. Their adherence to the monad laws are verified using GNATprove.
35 contributions in the last year
|Day of Week||December Dec||January Jan||February Feb||March Mar||April Apr||May May||June Jun||July Jul||August Aug||September Sep||October Oct||November Nov|