Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
☆35Jun 17, 2026Updated 4 months ago
Alternatives and similar repositories for fgv-ed
Users that are interested in fgv-ed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Empower typst matrices with dividing lines and color blocks☆31Jun 24, 2025Updated last year
- Hyprland dotfiles☆45Aug 16, 2025Updated last year
- Catalog Of Math Problems Formalized In Lean☆255Oct 23, 2026Updated last week
- Typst extension for zed☆203Aug 22, 2026Updated 2 months ago
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆171Apr 22, 2025Updated last year
- 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.
- minimal yet functional neovim☆313Feb 6, 2026Updated 8 months ago
- Hide the taskbar completely when the Start Menu is not open.☆379Updated this week
- A lightweight compositor for X11 (previously a compton fork)☆749Nov 4, 2021Updated 4 years ago
- A general purpose application launcher for X and wayland inspired by rofi/wofi and alfred☆674Apr 24, 2025Updated last year
- Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].☆3,619Updated this week
- An Infinitely Large Napkin☆1,989Oct 23, 2026Updated last week
- A versatile application/command launcher for wayland. Built with rust and gtk4☆748Apr 25, 2026Updated 6 months ago
- A curated list of project tutorials for project-based learning.☆6,383May 30, 2026Updated 5 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,339Oct 13, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Interactive find-and-replace in the terminal☆1,302Updated this week
- ☆1,320Jul 18, 2025Updated last year
- A lightweight utility which can automatically switch the display state of the Windows Taskbar.☆1,448Apr 18, 2022Updated 4 years ago
- A Linux program to handle GPU switching on Optimus laptops.☆2,443May 16, 2026Updated 5 months ago
- // A Niri shell // with bloat and stuff!☆1,881Oct 14, 2026Updated 2 weeks ago
- A repository that helps users get affinity software working on GNU/Linux 🐧☆1,832Aug 22, 2026Updated 2 months ago
- 🏳️🌈 🏳️⚧️ Neofetch with LGBTQ+ pride flags!☆2,141Oct 17, 2026Updated last week
- A Lean companion to Analysis I☆1,973Oct 18, 2026Updated last week
- A markup-based typesetting system that is powerful and easy to learn.☆56,899Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A spotify daemon☆10,816May 28, 2026Updated 5 months ago
- Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debi…☆15,599Updated this week
- A repository that helps users get affinity software working on GNU/Linux 🐧☆3,251Updated this week
- Google Calendar Command Line Interface☆3,778Oct 25, 2025Updated last year
- A modern, configurable, terminal based MPD Client with album art support via various terminal image protocols☆3,465Updated this week
- A community-maintained Python framework for creating mathematical animations.☆42,021Updated this week
- Wayland Compositor in Minecraft☆2,989Updated this week
- Collection of decent Community-made GRUB themes. Contributions welcome!☆6,120Aug 24, 2026Updated 2 months ago
- For automated installation of Hyprland on Arch Linux or any Arch Linux-based distros☆4,586Feb 22, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A huge collection of Rofi based custom Applets, Launchers & Powermenus.☆8,833May 31, 2026Updated 4 months ago
- Awesome list for Hyprland [maintainer=@yavko]☆5,381Updated this week
- A hackable, minimal, fast TUI file explorer☆4,848Updated this week
- The math library of Lean 4☆4,391Updated this week
- A simple CalDAV (calendar) and CardDAV (contact) server.☆5,163Updated this week
- A highly configurable Windows status bar written in Python.☆5,722Updated this week
- Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.☆5,619Jul 24, 2026Updated 3 months ago