/projects

projects I've worked on.

socket-watcher (In-progress)

a static analysis tool for detecting bugs in Python socket programming

Tech stack: Python, Git, Github

Link to repo

Contributions: Pending completion.

canguiano.com (2026)

you are here.

Tech stack: HTML, CSS, JavaScript, Git, Github + Github Actions

Link to repo

Contributions: Everything

verified-parser (2026)

formally verified lexer/parser for a subset of Scheme Lisp.

Tech stack: Dafny, Python, Bash, Git, Github

Link to repo

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.

minimalFS

FUSE Filesystem written in Rust for improved memory-safety.

Tech stack: Rust, Git, Github

Link to repo

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.

bug-reporter

bug report generator for known-buggy software artifacts.

Tech stack: Python, Bash, Git, Github

Repo not available, sorry.

Contributions: Implemented tokenization of artifact logs. Created methods for converting between Markdown and plaintext formats. Gathered Jaccard and Cosine Scores for analysis.

intrusion-detection

machine learning models for network intrusion detection

Tech stack: Python, Google Colab/Jupyter, Git, Github

Link to repo

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.

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

Link to repo

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.

Other

Open-source contributions and other small projects

dafny: contributed to official documentation.

VICE: chess engine in C.

F4E: custom Discord bot for a personal server.