Pinned Loading

1. AdventofCode2022 AdventofCode2022 Public

   Repo for advent of code 2022

   Python

2. bookshop-rs bookshop-rs Public

   Forked from andey-robins/bookshop-rs

   A simple book store API for input validation/sanitization assignments for Secure Software Design at the University of Wyoming

   Rust

3. cryptolib4 cryptolib4 Public

   Implementation of JoeyLupo's cryptolib in Lean4

   Lean 1 1

4. deaddrop-rs deaddrop-rs Public

   Forked from andey-robins/deaddrop-rs

   A deaddrop utility written in Rust

   Rust

5. SCL SCL Public

   C

6. AdventofCode2023 AdventofCode2023 Public

   Solutions for the 2023 Advent of Code

   Rust 1