risingfisan Goto Github PK

followers: 271.0 following: 53.0 repos: 36.0 gists: 0.0

Name: Sofia Santos

Type: User

Company: Universidade do Minho

Bio: Grad Student and Invited Assistant of Software Engineering @ University of Minho.

Location: Braga, Portugal

Hello there! I'm Sofia! 😊

I'm a graduate student of Software Engineering at University of Minho 👩‍💻. I'm also an invited assistant at University of Minho, currently teaching Functional Programming and Language Processing classes. 👩‍🏫

💜 About me

I was born and raised in Braga 🇵🇹, where I currently live, study and work. I'm a full-time geek and LEGO lover, with a small passion for cinema and writing.

My pronouns are she/her. 🤍

🎓 My college projects and solved exercises

1^st year - 1^st semester
Programação Funcional	Exercises	-
Laboratórios de Informática I	-	Project

1^st year - 2^nd semester
Programação Imperativa	Exercises	-
Laboratórios de Informática II	Exercises	Project

2^nd year - 2^nd semester
Programação Orientada aos Objetos	Exercises	Project
Sistemas Operativos	Exercises	Project
Laboratórios de Informática III	-	Projects
Cálculo de Programas	-	Project

3^rd year - 1^st semester
Sistemas Distribuídos	Exercises	Project
Redes de Computadores	-	Projects
Bases de Dados	-	Project
Modelos Determinísticos de Investigação Operacional	-	Projects

3^rd year - 2^nd semester
Computação Gráfica	Exercises	Project
Processamento de Linguagens	Exercises	Projects

Master's Dissertation
ACE Grader

🧩 My other projects

WALL-E - A discord bot written in Python;
Advent of Code - My solutions to the Advent of Code puzzles.
dotfiles

💻 My programming skills

Python
Haskell
C / C++
Java
Elixir / Phoenix
MySQL / PostgreSQL / MongoDB
Ruby / Ruby on Rails
Rust
HTML / CSS (TailwindCSS lover)
Javascript

Hopefully I can add as many items to this list as possible in the future!

Sofia Santos's Projects

ace_grader

Automatic Code Evaluator and Grader.

advent-of-code

My solutions to the Advent of Code puzzles.

apredizagem-profunda

Exercícios realizados no âmbito da UC de Aprendizagem Profunda do perfil de SI do MEI da UMinho.

asma

Coisas feitas para Agentes e Sistemas Multiagente do perfil de SI do MEI da UMinho

cg

Exercícios resolvidos no âmbito da UC de Computação Gráfica, no ano letivo 2020/21.

dotfiles

dpum

Desafio de Programação da Universidade do Minho

eg

Coisas feitas para a UC de Engenharia Gramatical do perfil de Engenharia de Linguagens do MEI da UMinho.

large-language-models-in-automated-repair-of-haskell-type-errors

li2

Tarefas realizadas no âmbito da cadeira de LI2 do MIEI da UM.

li3

Projetos realizados no âmbito da UC Laboratórios de Informática III.

ocrticle

pl

Exercícios realizadas no âmbito da UC de Processamento de Linguagens no ano letivo 2020/21.

poo

Resolução das fichas da cadeira de Programação Orientada aos Objetos, relativas ao ano letivo 2019/20.

programacao-funcional

Contém todas as fichas relativas à cadeira de Programação Funcional, do ano letivo 2018/19, e resoluções de testes e exames de anos anteriores.

programacao-imperativa

Resolução das fichas da cadeira Programação Imperativa, do MIEI na UM. As fichas são relativas ao ano letivo 2018/19.

projeto-cp

Projeto realizado no âmbito da UC Cálculo de Programas no ano letivo 2020/21.

projeto-poo

Trabalho prático realizado no âmbito da cadeira de Programação Orientada aos Objetos, do curso de MIEI da Universidade do Minho.

projeto-so

Projeto realizado no âmbito da cadeira de Sistemas Operativos.

rc

Trabalhos realizados no âmbito da UC Redes de Computadores.

resumosmiei

Uma coleção de resumos, para ajudar os que precisam daquele empurrão.

reversi_li2

Recriação do famoso jogo Reversi (ou Othello) na linguagem C.

risingfisan

rpcw2022

Repositório relativo à UC de Representação e Processamento de Conhecimento na Web do perfil de Engenharia de Linguagens do MEI.

rpcw2022-teste

rusteze

sd

Guiões realizados no âmbito da cadeira de Sistemas Distribuídos.

so

Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20

spln

Coisas para a UC de Scripting no Processamento de Linguagem Natural, do perfil de Engenharia de Linguagens do MEI da UMinho.

tanks-li1

Um jogo baseado nos jogos da série Tanks, criado em Haskell no âmbito da cadeira de Laboratórios de Informática I, no MIEI da UM.