Desafios de Programação da Universidade do Minho
☆12Feb 1, 2022Updated 4 years ago
Alternatives and similar repositories for DPUM
Users that are interested in DPUM are comparing it to the libraries listed below
Sorting:
- ⚙️ dotfiles, scripts & more☆12Feb 5, 2026Updated 3 weeks ago
- Badge Platform Web App for SEI @ University of Minho☆12Sep 28, 2021Updated 4 years ago
- Generic Allocation Contest Manager☆10Jan 4, 2023Updated 3 years ago
- 💎 Sofware Engineering Week platform☆51Dec 23, 2025Updated 2 months ago
- Cadeira AeC☆14Jan 11, 2022Updated 4 years ago
- Resolução das fichas da cadeira Programação Imperativa, do MIEI na UM. As fichas são relativas ao ano letivo 2018/19.☆30Mar 6, 2022Updated 3 years ago
- discord bot for the LEI/MEI discord server☆16Jun 3, 2024Updated last year
- 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 anter…☆20Oct 15, 2022Updated 3 years ago
- ☆12May 23, 2024Updated last year
- Library Management System is implemented using linked list in C programming language. The main operation involves issuing books, returnin…☆16Nov 14, 2021Updated 4 years ago
- Header-only Linked List implementation in C☆14Dec 7, 2023Updated 2 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Mapping CeSIUM's website to shorter urls☆11May 27, 2025Updated 9 months ago
- C and C++ language practice, problem solving, data structures and algorithms with more exercise. completed four projects in C☆11Jul 27, 2022Updated 3 years ago
- ☆10Jul 14, 2021Updated 4 years ago
- hllama is a library which aims to provide a set of utility tools for large language models.☆10Apr 16, 2024Updated last year
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- A simple library for creating fancy terminal menus in Java.☆12Mar 6, 2020Updated 5 years ago
- Implementation of Data Structures in C☆14Feb 3, 2021Updated 5 years ago
- Multi-display game show engine for the Pixels Camp on-stage quiz.☆14Nov 5, 2020Updated 5 years ago
- This repository has basic concepts of C programming language☆25Aug 24, 2024Updated last year
- Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20☆10Sep 28, 2020Updated 5 years ago
- Haskell-Gloss Doom-like 3D shooter☆11Sep 9, 2019Updated 6 years ago
- Neovim plugin template☆21Mar 14, 2024Updated last year
- ☆15Mar 1, 2021Updated 5 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- Demo Project for End to End Encryption with Rails and Stimulus☆14Feb 21, 2022Updated 4 years ago
- chat with pdf with mistral.ai + streamlit☆16Feb 23, 2024Updated 2 years ago
- Five implementations of double linked lists to demonstrate generic data structures in C☆17Dec 19, 2019Updated 6 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 5 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- ☆17Apr 7, 2024Updated last year
- Book Paris tennis court (include CAPTCHA bypass)☆27Feb 9, 2026Updated 3 weeks ago
- Script that turns .pcap files into a .mid file to be played☆15Oct 31, 2017Updated 8 years ago
- My config files☆16Jan 23, 2025Updated last year
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Learn pure math with agda☆16Oct 18, 2025Updated 4 months ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago