Hi, I'm Kevin - Welcome to my Portfolio!

I'm a passionate software developer with a strong foundation in computer science. My expertise spans various programming paradigms, including object-oriented, functional, and low-level programming, along with practical experience in software engineering.

Side Projects

Projects I've developed during my freetime, away from studies.

Habit Tracker in C#

GitHub Link
  • Built a small but extensible application to track habits, including completions of these habits.
  • Used SQLite for persistent storage.

Pomodoro TUI tool in Rust

GitHub Link
  • Built a terminal-based Pomodoro timer in Rust in collaboration with another developer.
  • Used GitHub issues and pull requests for collaborative development.
  • Used GitHub Actions for CI, including testing, compiling, code coverage and linting.

A Pong Implementation In Rust

GitHub Link
  • Recreated the classic Pong game in Rust with the Bevy engine.
  • Added scoring and collaborated with another developer.

Obsidian to Org Roam File Converter

GitHub Link
  • CLI tool using Pandoc to convert Obsidian Markdown files to Org Mode with Roam syntax.

Discord Bot to Store Minecraft Coordinates

GitHub Link
  • Python Discord bot storing Minecraft coordinates in a SQLite database.
  • Supports adding, updating, deleting, and searching coordinates.

Custom startpage

GitHub Link
  • Built a custom React startpage with dynamic link management.
  • Developed an Express backend with a SQLite database to store links.

Projects from studies

Projects I've worked on for university courses.

Verification of Leader Election Algorithms

GitHub Link
  • Formally verified Bully and Ring leader election algorithms with TLA+.
  • Tested robustness under diverse scenarios to improve distributed system reliability.
  • Enhanced skills in formal verification and ensuring correctness in complex systems.

Generic Graph Project

  • Developed a C++ graph library with DFS and topological sort.
  • Used unit testing to ensure code reliability and scalability.
  • Improved expertise in generic programming and test-driven development.

Onitama Simulation Engine in Haskell

GitHub Link
  • Created a Haskell simulation engine for Onitama using recursive algorithms.
  • Validated all outcomes to showcase functional programming's strengths.
  • Gained deeper experience in functional programming and problem-solving.

Custom Filesystem Implementation Using FUSE

  • Built a custom POSIX-compliant filesystem with FUSE.
  • Added memory management and state persistence for stability.
  • Developed skills in systems programming and resource management.

Counting Sort for Coordinates in Assembly

GitHub Link
  • Implemented Counting Sort in x86 Assembly with file I/O via system calls.
  • Developed a simple memory allocator for efficient resource use.
  • Honed skills in low-level programming and performance optimization.

You can contact me on LinkedIn, and see my GitHub for more.