A verified boot flow for small devices. Implemented by Das U-Boot.
Related:
Post-quantum cryptographic algorithms in C.
Post-quantum cryptography for the ARM Cortex M4.
OpenSSH server and client configuration tester.
A GUI-focused Win32 API wrapper for Rust.
Comes with a derive-macro that derives GUIs from struct declarations.
Swing-like C++ library on top of Win32.
I imagine you could also use this in conjunction with libwine.
A layout container for Swing, SWT, and JavaFX that can accommodate many layouts.
And we need to talk about them.
Neither “exercise and diet” nor “body positivity” are real answers.
A tutorial.
Cheap imperative data structures for Haskell. Even comes with NullPointerException support.
Haskell library for defining values recursively while avoiding nontermination. Magic.
A prelude extension for Idris. Contains many useful data types and algorithms.