Software Engineering @ University of Waterloo
😀
Software Engineering @ University of Waterloo
-
University Of Waterloo
- New York City
- matteopsnt.dev
- in/matteo-pesenti
Highlights
- Pro
Pinned Loading
-
proof-generator
proof-generator PublicA rule-based theorem prover for propositional (Boolean) logic that applies transformational proof logic.
TypeScript
-
-
unix-shell
unix-shell Publicunix-shell is a UNIX-style shell implemented in C++ with support for pipelines, redirection, and built-in commands.
C++
-
bzip2
bzip2 PublicThis project is a C++ implementation of the Bzip2 algorithm, featuring both encoding and decoding for file compression and decompression using BWT, MTF, RLE, and Huffman coding.
C++
-
chess
chess PublicA C++ chess game with graphical and console interfaces, supporting human and AI opponents, move validation, and special moves like castling and promotion.
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




