Hello, and welcome to my GitHub profile!

I'm CodeByPhx, a passionate and curious student currently studying Computer Science. My journey in the world of programming is driven by an insatiable hunger to learn, explore, and grow as a developer.

• 💡 I’ve worked extensively with Java, Python, Rust, and OCaml.
• 🌿 Had some exposure to Elixir, Haskell, and Prolog.
• ❤️ Functional Programming stole my heart; I love its elegance and potential for concise, expressive, and powerful code.
• 🔍 Currently focused on mastering functional and procedural paradigms, with a keen interest in multithreading and concurrency for building efficient software.
• 📘 Excited to dive into Lean and its innovative paradigms as part of my journey toward becoming a well-rounded programmer.

• Deepen my understanding of functional programming principles.
• Enhance my skills in multithreading for efficient and scalable applications.
• Explore Lean and its capabilities for formal verification and reasoning.

• Languages I’ve worked with:
  • Java, Python, Rust, OCaml
  • Minor experience: Elixir, Haskell, Prolog
• Programming Paradigms:
  • Strong focus on functional programming.
  • Exploring procedural paradigms with multithreading in mind.
• Looking forward to adding more languages and tools to my repertoire as I grow!

Stay tuned! This space will soon be filled with repositories showcasing my projects, experiments, and learning adventures in functional programming, multithreading, and beyond.

I’m always open to learning from others and collaborating on interesting projects. If you share a passion for computer science, functional programming, or any related fields, feel free to reach out or connect!

Thanks for stopping by! 🌟