Popular repositories Loading

1. ANyONe-secure-vm-hardening ANyONe-secure-vm-hardening Public

   The ANyONe Network - Secure VM Hardening Script This is a powerful VM security script made for high-risk servers, exit nodes, and exposed Linux environments. It’s built to lock down Debian/Ubuntu s…

   Shell 2 2

2. nonos-daemon nonos-daemon Public

3. nonos-kernel nonos-kernel Public

   Forked from NON-OS/nonos-micro-kernel

   A Rust-based bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability enforced isolation forming the core of the NØNOS operating system.

   Rust

4. salvium salvium Public

   Forked from salvium/salvium

   C++

5. NOXDashboard NOXDashboard Public

   TypeScript

6. sha256-gf2-r1cs sha256-gf2-r1cs Public

   Cheapest known R1CS-over-GF(2) circuit for SHA-256 compression, machine-verified in Lean 4

   Lean