verification
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack |
|
12 | 1889 | March 19, 2023 |
| Verifying properties of a financial contract in Elixir |
|
5 | 1909 | June 12, 2022 |
