Found 2 repositories(showing 2)
runtimeverification
Code documentation for Casper CBC proofs
Network design home lab project using VLSM to create 6 subnets from 10.3.99.0/24 in Cisco Packet Tracer. Includes topology, IP addressing, routing configs, ACLs, and connectivity testing docs. Provides hands-on network engineering experience with subnetting, switching, routing, access control for skills development in an emulated environment.
All 2 repositories loaded