Resumos das UCs de LEIC-A do IST
☆72Oct 9, 2026Updated last week
Alternatives and similar repositories for resumos-leic
Users that are interested in resumos-leic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Online Unit Tests for IST projects☆12Jul 27, 2023Updated 3 years ago
- A still very barebones game engine focused on voxels and data-oriented programming☆104Jul 14, 2026Updated 3 months ago
- This repository provides containerized applications and microservices for the Information Systems and Databases Course @ Instituto Superi…☆11Oct 6, 2026Updated last week
- Command-line interface tool for creating new projects from a GitHub repository template.☆12Apr 30, 2023Updated 3 years ago
- ☆13May 5, 2026Updated 5 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.
- Configuration for my NixOS systems☆42Oct 8, 2026Updated last week
- Collective feedback from MEIC courses☆58Updated this week
- Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa☆296Updated this week
- Lazy Guide for Japanese Immersion☆27Aug 2, 2026Updated 2 months ago
- Web Application Development - Fall 2023/2024☆11Dec 17, 2023Updated 2 years ago
- ☆12Jan 6, 2023Updated 3 years ago
- Stow away my dotfiles☆20Jul 23, 2025Updated last year
- ☆14Apr 28, 2024Updated 2 years ago
- ☆18Jul 19, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Emulates USB Devices using USBIP in Python or c☆20May 12, 2022Updated 4 years ago
- Grafana dashboard for ZFS filesystem monitoring with Prometheus and Telegraf☆14Jan 10, 2020Updated 6 years ago
- A minimal flask application to which prompts a user to authorize agains Steam's OpenID Service☆14Jan 19, 2022Updated 4 years ago
- Allows you to hide servers/folders in your server list with right-click option and manage mentions handling with various settings☆17Aug 13, 2026Updated 2 months ago
- A discord bot that allows you to manage challonge tournaments☆13Jul 4, 2017Updated 9 years ago
- Rust implementation + Python bindings for image effects used in chaiNNer☆13Jun 11, 2024Updated 2 years ago
- ☆50Apr 19, 2024Updated 2 years ago
- Generate the IBus GTK or GNOME Shell theme from existing themes. (从现有主题中生成 IBus GTK 或 GNOME Shell 主题)☆25Jun 19, 2026Updated 3 months ago
- Cross-platform Devil Daggers modding tools, practice tools, and custom leaderboards client☆23Oct 1, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Personal copy for archival, occasional releases with QoL stuff I care about☆12Nov 12, 2023Updated 2 years ago
- A gotify client for your Linux Desktop☆69May 7, 2023Updated 3 years ago
- Mirror your starred Github repos to a Gitea organization☆35Oct 29, 2025Updated 11 months ago
- Fork of Bluez with patches to support PS3 Gasia/ Shanwan game controllers☆30May 22, 2026Updated 4 months ago
- Styled competitions brackets view, based on jQuery Bracket Library.☆24Apr 6, 2020Updated 6 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆88Jul 8, 2020Updated 6 years ago
- Cordova wrapper for Keeweb☆33Oct 12, 2022Updated 4 years ago
- The correct way to use Nix flakes☆34Jun 25, 2023Updated 3 years ago
- Rename renames the filenames supplied according to the rule specified as the first argument. The argument is a Perl expression which is e…☆11Mar 12, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆29May 9, 2026Updated 5 months ago
- A tool to automatically change your steam avatar☆35Jan 12, 2016Updated 10 years ago
- Unzip GBK, BIG5 or SHIFT-JIS encoded zip file in UTF-8 environment☆12May 27, 2015Updated 11 years ago
- ReactJS website to automatically generate playlists based on how the music sounds.☆33May 10, 2026Updated 5 months ago
- Because having to change the hex codes manually is annoying.☆45Jan 1, 2023Updated 3 years ago
- ☆13Oct 9, 2026Updated last week
- A minimalistic blockchain consensus implemented and verified in Coq☆113Apr 13, 2020Updated 6 years ago