Pinned Loading

1. veri-crypto veri-crypto Public

   Implement core cryptographic primitives in Rust translated into F* or/and Lean4 (using hax) to formally prove its functional correctness against its mathematical specification.

   1

2. hax-docs hax-docs Public

   Complete set of documentation (8 modules) covering the core functionality of the `hax` Rust library for formal cryptographic verification.

3. dynamixplore dynamixplore Public

   A modern, high-performance Python framework designed to provide a cohesive, end-to-end environment for the study of dynamical systems.

   Rust 6 1

4. rust-boolean-calculator rust-boolean-calculator Public

   Simple boolean expression evaluator implemented in the Rust programming language.

   Rust

5. kluchnik-rs kluchnik-rs Public

   A cross-platform Rust GUI client (Iced) for the Kluchnik hardware TRNG, featuring TCP data reception, AES-CBC decryption, password generation, and remote device control.

   Rust

6. kluchnik kluchnik Public

   C++ firmware for a hardware TRNG that generates random bytes from physical motion, encrypts them with AES-CBC, and transmits them via a Wi-Fi TCP server.

   C++ 3 3