☆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
- 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.☆67Oct 30, 2023Updated 3 years ago
- Exercícios realizados no âmbito da cadeira de Sistemas Operativos (SO). MIEI - UM 2019/20☆10Sep 28, 2020Updated 6 years ago
- "Todos sabemos que esta vida está agreste mas o português é mestre na arte de desenrascar"☆19Mar 8, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ⭐️ Frontend platform for managing session registrations and recording ninjas' progress☆13Nov 20, 2024Updated last year
- 🚀 Personal README Template for Developers | Dark Mode Optimized 🌙 | Fork, Star & Make It Yours! Visit chinmay29hub — Crafted with 💻 & …☆11Updated this week
- Thesis template in Typst for University of Minho☆15Oct 13, 2026Updated 2 weeks ago
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Oct 20, 2023Updated 3 years ago
- discord bot for the LEI/MEI discord server☆16Jun 3, 2024Updated 2 years ago
- 📄 A powerful and easy-to-use Elixir library for extracting text and metadata from PDF files.☆24Oct 19, 2026Updated last week
- ☆17May 6, 2026Updated 5 months ago
- search and pagination☆11Dec 27, 2022Updated 3 years ago
- Desafios de Programação da Universidade do Minho☆12Feb 1, 2022Updated 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.
- Rust-made reverse proxy server.☆15Aug 25, 2026Updated 2 months ago
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- This repo holds all my rice config files!☆11Apr 28, 2020Updated 6 years ago
- (Work in progress) High-assurance FrodoKEM-640-SHAKE through Jasmin and EasyCrypt.☆14Jan 28, 2022Updated 4 years ago
- 🪂 Landing page for Centro de Estudantes de Engenharia Informática da Universidade do Minho (CeSIUM)☆13Updated this week
- XMSS[MT] commandline tool☆13Sep 13, 2026Updated last month
- A vim-like TUI for managing notes and resources☆17Apr 4, 2026Updated 6 months ago
- Vim plugin for rotating through different casing styles.☆12May 16, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Aulas práticas UM CP19-20☆10May 21, 2020Updated 6 years ago
- 🗺️ A world map with the places we've been☆23Aug 26, 2026Updated 2 months ago
- ☆13Dec 29, 2019Updated 6 years ago
- Canonical colors for Srcery, a syntax highlighting theme for various editors.☆16Oct 3, 2026Updated 3 weeks ago
- ⚙️ dotfiles, scripts & more☆12May 18, 2026Updated 5 months ago
- ☆21Sep 29, 2026Updated last month
- A TUI File Explorer☆24Jun 15, 2026Updated 4 months ago
- Elliptic curve operations over secp256k1 *not for production*☆18Jun 8, 2022Updated 4 years ago
- Android app for controlling Corsair iCUE device LEDs with the help of the iCueConnect-API☆14Jun 20, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- Git commit message formatter☆26Jul 19, 2025Updated last year
- ☆17Aug 26, 2025Updated last year
- ☆11Dec 13, 2020Updated 5 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
- Blind signatures over secp256k1 elliptic curve☆16May 17, 2022Updated 4 years ago