Pinned Loading

1. theseus511 theseus511 Public

   Production repo for an intelligent agent in the wumpus world (CS 511: Artificial Intelligence II, Spring 2025 @ UIC)

   Scala

2. BedREST BedREST Public

   Homework 3, CS 441, Fall 2024 @ UIC (the repo has this ridiculous name because GitHub wouldn't let me name it λλM).

   Scala

3. tokproc tokproc Public

   Homework 1, CS 441, Fall 2024 @ UIC.

   Python

4. incsum incsum Public

   Prove spec for a program that increases a list and sums it in parallel (Final project, CS 472, Spring 2024 @ UIC).

   Coq

5. malicious-proxy malicious-proxy Public

   A malicious proxy that operates in either active, passive, or phishing mode (HW4, CS 468, Fall 2023 @ UIC).

   Python

6. connect4 connect4 Public

   Networked and multithreaded implementation of two-player connect 4 (Project 3, CS 342, Fall 2022 @ UIC).

   Java