Resumos das UCs de LEIC-A do IST
☆68Apr 9, 2026Updated 2 months ago
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:
- ☆14May 5, 2026Updated last month
- small, single-header library that adds compile time type safety to C23.☆33Jan 2, 2026Updated 5 months ago
- Steam link Bluetooth controller Companion. Support for keyboard and mouse.☆11Oct 18, 2018Updated 7 years ago
- Lazy Guide for Japanese Immersion☆23May 19, 2026Updated last month
- Hotpatching, closures, lambdas, and signal-based exception handling in GNU C☆14Jan 22, 2025Updated last year
- 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.
- Lovable memory-safe systems language with a pretty fast compiler☆19Jun 10, 2026Updated last week
- Kodi Addon to pair and connect bluetooth devices☆17Jan 6, 2026Updated 5 months ago
- Serve Markdown files as HTML pages with CSS using just Caddy☆67May 20, 2025Updated last year
- Build Caddy with additional plugins with Nix☆19Dec 1, 2025Updated 6 months ago
- ☆14Apr 28, 2024Updated 2 years ago
- ☆32May 18, 2026Updated last month
- Python library to display Windows 10 Toast Notifications☆12Dec 11, 2020Updated 5 years ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hardened systemd profiles for various services☆26Apr 8, 2024Updated 2 years ago
- A discord bot that allows you to manage challonge tournaments☆13Jul 4, 2017Updated 8 years ago
- Grasshopper's Monadic Parser☆12Apr 7, 2026Updated 2 months ago
- Cross-platform Devil Daggers modding tools, practice tools, and custom leaderboards client☆19Jun 2, 2026Updated 2 weeks ago
- A Linux daemon to automatically update the system timezone based on location☆40Updated this week
- Python script to control whatsapp web using terminal☆18Oct 22, 2017Updated 8 years ago
- Aggregates all the mining pool lists available online (domains + IPs).☆28Feb 21, 2021Updated 5 years ago
- Fork of Bluez with patches to support PS3 Gasia/ Shanwan game controllers☆28May 22, 2026Updated 3 weeks ago
- A list of papers and resources dedicated to code generation☆21Nov 2, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cordova wrapper for Keeweb☆33Oct 12, 2022Updated 3 years ago
- The correct way to use Nix flakes☆34Jun 25, 2023Updated 2 years ago
- desbloquea el framerate en ff4.☆11Oct 14, 2022Updated 3 years ago
- A new signature format for Nix - for verifiable provenance data and SBOMs.☆56Updated this week
- Run RPG Maker 2000 and 2003 games in different locales☆12Dec 12, 2015Updated 10 years ago
- Bot for automating shiny hunting in Dynamax Adventures☆26Jan 21, 2022Updated 4 years ago
- New MarioSequencer with the support for PocketMiku and now sings!☆14Aug 17, 2014Updated 11 years ago
- Parse, manipulate, and reconstruct Nix source code with high-level abstractions.☆88Feb 27, 2026Updated 3 months ago
- Microcontroller Programs for Pokémon Automation☆24Apr 16, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A GUI tool for compiling the Super Mario 64 port into a Windows executable.☆13Mar 16, 2022Updated 4 years ago
- Because having to change the hex codes manually is annoying.☆45Jan 1, 2023Updated 3 years ago
- A program to quickly compile PC-98 .MML file using PMDDotNet and play it on FMPlayer☆14Mar 4, 2024Updated 2 years ago
- A Lua scripting environment for RPG Maker 2003.☆12Jul 14, 2014Updated 11 years ago
- Decompilation of 3D Pinball for Windows – Space Cadet☆18Jan 3, 2024Updated 2 years ago
- Converter for Ultra 64 Sound Format☆12Apr 29, 2022Updated 4 years ago
- Bakkin Reader X manga viewer☆11Mar 17, 2021Updated 5 years ago