Pinned Loading

1. casxi-lab/krepi casxi-lab/krepi Public

   The krepi operating system: a Rust microkernel for AArch64 on Raspberry Pi 5, with formal verification in Lean 4

   Rust 1

2. casxi-lab/kalyx casxi-lab/kalyx Public

   The kalyx CAS library: a Rust computer algebra system and library, with formal verification in Lean 4 Resources

   Rust 1

3. vcb-s/VCB-S_Collation vcb-s/VCB-S_Collation Public

   Collation standards, guidance and naming samples.

   HTML 190 18

4. cryptolab-golang cryptolab-golang Public

   Cryptography algorithms in Go, with standards-based exercises and tests.

   Go