/projects
projects I've worked on.
canguiano.com
you are here.
Tech stack: HTML, CSS, JavaScript, Git, Github + Github Actions.
Contributions: Everything.
Link to repo: <here>
verified-parser
formally-verified lexer/parser for a subset of lisp.
Tech stack: Dafny, Python, Bash, Git, Github.
Contributions: Implemented a recursive-descent parsing algorithm for a custom context-free grammar while formally proving termination, memory-safety, and AST correctness. Automated compilation of Dafny code into Python. Connected verified Dafny code to unverified Python methods for user I/O.
Link to repo: <here>
minimalFS
FUSE Filesystem written in Rust for improved memory-safety.
Tech stack: Rust, Git, Github.
Contributions: Contributed to high-level filesystem design and design/implementation of underlying data structures. Implemented core filesystem operations relating to links including symlink and unlink. Automated filesystem benchmarking for comparative analysis.
Link to repo: <here>
bug-reporter
bug report generator for known-buggy software artifacts.
Tech stack: Python, Bash, Git, Github.
Contributions: Implemented tokenization of artifact logs. Created methods for converting between Markdown and plaintext formats. Gathered Jaccard and Cosine Scores for analysis.
Link to Repo: Not available, sorry.
intrusion-detection
machine learning models for network intrusion detection.
Tech stack: Python, Google Colab/Jupyter, Git, Github.
Contributions: Conducted exploratory data analysis to better understand raw dataset. Patched data leaks in early data pipeline iterations. Trained and integrated a decision tree model with appropriate visualizations. Tuned model hyperparameters using stratified K-fold. Contributed to project documentation and analysis.
Link to repo: <here>
roll-call
cloud-native virtual guestbook service for event hosting.
Tech stack: HTML, CSS, JS, Python (flask), SQL, Bash, Docker, Google Cloud Run, Git, Github.
Contributions: Contributed to high-level architecture design and schema design. Implemented SQL Schema. Containerized application with Docker. Implemented user authentication and message moderation features. Contributed to core backend functions supporting CRUD operations on user accounts, event pages and messages. Utilized Jinja2 templating in frontend pages for dynamic HTML rendering.
Link to repo: <here>
Other
open-source contributions and other small projects. (* = open source)
dafny*: contributed to official documentation.
VICE: chess engine in C.
F4E: custom Discord bot for a personal server.