Skip to content
View beasrodrigues24's full-sized avatar
๐Ÿง
๐Ÿง

Highlights

  • Pro

Block or report beasrodrigues24

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
beasrodrigues24/README.md

About Me โšก

  • ๐Ÿ‘‹ I'm Beatriz Rodrigues ๐Ÿ‡ต๐Ÿ‡น.
  • ๐Ÿ“š I have a bachelor's degree in Software Engineering and I'm finishing my master's (currently writing my thesis).
  • ๐Ÿ“ซ To contact me, you can add me on Discord: bsr24#8186, or use one of the following options:

LinkedIn badge Email badge

GitHub Stats ๐Ÿ‘€

Anurag's GitHub stats

Top Langs

Skills ๐Ÿ˜„

  • C
  • Java
  • Javascript
  • React
  • Node.js
  • Next.js
  • Ruby on Rails
  • Haskell
  • Python
  • C#
  • C++
  • SQL
  • Prolog
  • Assembly
  • TLA+
  • Alloy
  • Why3
  • Frama-C
  • UPPAAL

Popular repositories Loading

  1. SO SO Public

    Exercises and exams done in the context of Operative Systems.

    C 5

  2. koala koala Public

    Template language inspired by Pandoc. Done in the context of PL in UMinho. Graded 20/20

    Python 5 1

  3. PI PI Public

    Exercises and exams done in the context of Imperative Programming.

    C 4

  4. IA IA Public

    Exercises done in the context of Artificial Intelligence.

    Prolog 4

  5. yaPP yaPP Public

    Preprocessor that allows converting a language with a defined syntax to latex or html. Done in the context of PL in UMinho. Graded 20/20

    HTML 3 1

  6. ADI-Project ADI-Project Public

    Practical Assignment in Aprendizagem e Decisรตes Inteligentes at UMinho.

    3