☆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
- 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
- ⭐️ Frontend platform for managing session registrations and recording ninjas' progress☆13Nov 20, 2024Updated last year
- "Todos sabemos que esta vida está agreste mas o português é mestre na arte de desenrascar"☆19Mar 8, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🤖 Frontend for the Software Engineering Week website and platform☆23Nov 15, 2024Updated last year
- 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 2 months ago
- LEO: A powerful Hybrid Multimodal LLM☆20Jan 18, 2025Updated last year
- A Python Script to download songs in the best available format from Youtube.☆11Oct 2, 2021Updated 4 years ago
- Desafios de Programação da Universidade do Minho☆12Feb 1, 2022Updated 4 years ago
- This repo holds all my rice config files!☆11Apr 28, 2020Updated 6 years ago
- 📆 Calendar with special events, due dates and week schedule☆17Feb 9, 2026Updated 5 months ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Listagem de comunidades relacionadas com tech em Portugal☆28Jan 13, 2025Updated last year
- 🪂 Landing page for Centro de Estudantes de Engenharia Informática da Universidade do Minho (CeSIUM)☆13Jul 1, 2026Updated last week
- Android app for controlling Corsair iCUE device LEDs with the help of the iCueConnect-API☆14Jun 20, 2022Updated 4 years ago
- The library helps you to authenticate users biometrically☆25Jan 26, 2023Updated 3 years ago
- Spotify web API in Haskell☆13Mar 29, 2016Updated 10 years ago
- Sage implementation of the MAYO scheme☆16Feb 3, 2025Updated last year
- Ring-Signature using secp256k1 in Solidity☆13Jul 6, 2018Updated 8 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- ☆15Mar 9, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Jul 2, 2026Updated last week
- ☆17Aug 26, 2025Updated 10 months ago
- 🖵 TUI for managing screens☆33Jul 2, 2024Updated 2 years ago
- Blind signatures over secp256k1 elliptic curve☆16May 17, 2022Updated 4 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
- A discord bot written in Python.☆14Nov 25, 2021Updated 4 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 6 years ago
- A self hosted movie tracker☆37Feb 18, 2022Updated 4 years ago
- Production ready C library for XMSS.☆17Oct 8, 2024Updated last year
- 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.
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated 5 months ago
- Nau - OpenGL + Optix 3D Engine☆43Nov 12, 2025Updated 7 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- ☆25Feb 18, 2026Updated 4 months ago
- Rust library & CLI for Google Translate's text‑to‑speech (TTS)☆26Nov 7, 2025Updated 8 months ago
- A todo list demo designed for CS411☆17Nov 12, 2023Updated 2 years ago
- Research on cybersecurity data usage in research papers☆15Dec 15, 2017Updated 8 years ago