☆20May 29, 2023Updated 3 years ago
Alternatives and similar repositories for SO-Theory
Users that are interested in SO-Theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cadeira AeC☆14Jan 11, 2022Updated 4 years ago
- Material do Curso de LCC☆76Jul 15, 2026Updated last month
- Resolução das fichas da cadeira Programação Imperativa, do MIEI na UM. As fichas são relativas ao ano letivo 2018/19.☆31Mar 6, 2022Updated 4 years ago
- Uma coleção de resumos, para ajudar os que precisam daquele empurrão.☆66Oct 30, 2023Updated 2 years ago
- Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20☆10Sep 28, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- "Todos sabemos que esta vida está agreste mas o português é mestre na arte de desenrascar"☆19Mar 8, 2026Updated 5 months ago
- ⭐️ Frontend platform for managing session registrations and recording ninjas' progress☆13Nov 20, 2024Updated last year
- 🤖 Frontend for the Software Engineering Week website and platform☆23Nov 15, 2024Updated last year
- Thesis template in Typst for University of Minho☆15Jul 30, 2026Updated last month
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Oct 20, 2023Updated 2 years ago
- ☆17May 6, 2026Updated 3 months ago
- Personal "King of The Hill" toolkit.☆16Nov 5, 2024Updated last year
- Desafios de Programação da Universidade do Minho☆12Feb 1, 2022Updated 4 years ago
- 📆 Calendar with special events, due dates and week schedule☆17Feb 9, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Listagem de comunidades relacionadas com tech em Portugal☆28Jan 13, 2025Updated last year
- From our Learn Rust stream☆15Jul 19, 2021Updated 5 years ago
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago
- ⚛️ De-engineered bifurcarted intranet☆48Jul 20, 2025Updated last year
- Aulas práticas UM CP19-20☆10May 21, 2020Updated 6 years ago
- 🗺️ A world map with the places we've been☆23Updated this week
- Mirror of https://git.franzi.fr/dotfiles☆13Jan 7, 2023Updated 3 years ago
- ☆21Jun 8, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Discord Abandoned bot to learn Python using discord.py library. Has a bunch of features. It works.☆11Sep 12, 2020Updated 5 years ago
- A TUI File Explorer☆23Jun 15, 2026Updated 2 months ago
- Spotify web API in Haskell☆13Mar 29, 2016Updated 10 years ago
- The library helps you to authenticate users biometrically☆25Jan 26, 2023Updated 3 years ago
- Elliptic curve operations over secp256k1 *not for production*☆18Jun 8, 2022Updated 4 years ago
- A discord bot written in Python.☆14Nov 25, 2021Updated 4 years ago
- ☆11Dec 13, 2020Updated 5 years ago
- Ring-Signature using secp256k1 in Solidity☆13Jul 6, 2018Updated 8 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- Git commit message formatter☆26Jul 19, 2025Updated last year
- ☆17Aug 26, 2025Updated last year
- Go implementation of Kademlia protocol for Princeton COS 518☆12May 13, 2018Updated 8 years ago
- ☆16Aug 12, 2026Updated 2 weeks ago
- ☆20Jul 17, 2023Updated 3 years ago
- A CLI built in Node.js, to automate the process of creating a rest api / sockets backend basics☆11Mar 24, 2022Updated 4 years ago