Pinned Loading

1. Z3-Benchmarks Z3-Benchmarks Public

   Benchmarking Bit-vector Arithmetic and Parallelism in Z3

   Python

2. Hyper-Darts-Simulator Hyper-Darts-Simulator Public

   A ridiculously over-engineered simulator for estimating the answer to the Hyper Darts (Shrkinking Bullseye) problem

   C++

3. Couriers Couriers Public

   A high school database project for Microsoft SQL Server, written in Transact-SQL. Made for a hypothetical delivery company, so that they can manage their orders, clients, couriers, recipients, addr…

   TSQL 2 2

4. pnut pnut Public

   C# 1

5. Informatics Informatics Public

   C++

6. advent-of-code-2023 advent-of-code-2023 Public

   My atempt at learning Rust

   Rust