Educorreia932
Follow
Highlights
- Pro
-
Yokai Public
❄️ Nix configuration for my machines
-
Cutlery Public
🍴 DSL for tabular data extraction and manipulation from arbitrary sources
Kotlin UpdatedJan 14, 2025 -
Recording Public
🎥 REPL for a polymorphic record-calculus
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedSep 5, 2024 -
Website Public
🌐 My personal website
-
smlsharp Public
Forked from smlsharp/smlsharpSML# compiler
Standard ML MIT License UpdatedJul 22, 2024 -
-
-
-
-
FEUP-FPRO Public
🐢 MIEIC 2018/2019 - 1ˢᵗ year / 1ˢᵗ semester
-
FEUP-MS Public
🚉 M.EIC 2023/2024 - 2ⁿᵈ year/ 1ˢᵗ semester
-
Code-Challenges Public
🧠 Solved exercises for different code challenges
-
-
parrot Public
Forked from aquelemiguel/parrot🦜 A hassle-free, highly performant, host-it-yourself Discord music bot with YouTube and Spotify support. Powered by yt-dlp.
Rust MIT License UpdatedMay 15, 2023 -
Dont-Cross-the-Streams Public
🌀 Game developed for Retro Jam 2022
-
Every-Web-Is-A-Home Public
Forked from Lantaros/pouca-teia🕷 Game made for GGJ'19
C# UpdatedApr 13, 2023 -
Four-Corners Public
🎮 Game made for OctoJam 7 / "Finish Your Game" Jam
-
FEUP-SDLE Public
⛓ M.EIC 2021/2022 - 1ˢᵗ year/ 1ˢᵗ semester
-
At-Hack Public
🔓 Game developed for Level Up Game Jam 2022
-
FEUP-VC Public
👁🗨 M.EIC 2021/2022 - 1ˢᵗ year/ 2ⁿᵈ semester
-
FCUP-BINF Public
🧬 M:CC 2021/2022 - 1ˢᵗ year/ 2ⁿᵈ semester
-
FEUP-LPOO Public
☕ MIEIC 2019/2020 - 2ⁿᵈ year/ 2ⁿᵈ semester
-
FEUP-PRI Public
🔎 M.EIC 2021/2022 - 1ˢᵗ year / 1ˢᵗ semester
information-retrieval university-course vuetify-frontend information-processing spotify-dataset feup-priPython UpdatedMar 13, 2022 -
FEUP-CGRA Public
🎨 MIEIC 2019/2020 - 2ⁿᵈ year/ 2ⁿᵈ semester
-
Persona-4-Weather-News Public
⛅ A Chrome extension that displays the weather in the style of Persona 4
-
FEUP-LTW Public
🐶 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester
-
FEUP-LBAW Public
⚖ MIEIC 2020/2021 - 3ʳᵈ year / 2ⁿᵈ semester
-
Break-In Public
Forked from xavier-santos/BreakIn🕹 A game based on Atari's original game Break Out but with a twist
Lua UpdatedAug 26, 2021 -
PokeBattle Public
📜 An esoteric language designed so that the program looks like the transcript of a Pokémon battle