An university community portal
☆10Dec 27, 2021Updated 4 years ago
Alternatives and similar repositories for Supernova
Users that are interested in Supernova are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An android version of https://clip.unl.pt☆10Nov 14, 2021Updated 4 years ago
- Allows for FCT's Checkpoint VPN to be used on Linux☆25Oct 12, 2022Updated 3 years ago
- Navegante's transport card reader☆12Jul 20, 2026Updated last month
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 5 years ago
- API privada da Carris (necessário token de API!), descrita de acordo com a norma OpenAPI 3.0.0 e Swagger.☆19Jul 7, 2023Updated 3 years ago
- 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.
- GTFS oficial da Carris Metropolitana.☆32Jun 23, 2024Updated 2 years ago
- A simple implementation of a parser and its use to calculate simple mathematical expressions☆18Feb 14, 2021Updated 5 years ago
- ClipMobile source code☆10Sep 6, 2015Updated 11 years ago
- Source code for GlorIA models pre-training.☆23Apr 3, 2024Updated 2 years ago
- 🚋 The fastest way to get your departure infos in Dresden☆11Feb 13, 2021Updated 5 years ago
- A python API for exposing and processing RDF data from sparql endpoints for data mining and machine learning models in convenient formats…☆19Dec 8, 2022Updated 3 years ago
- A very basic ray tracer which works on raspberry pi☆10Dec 13, 2024Updated last year
- Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa☆295Updated this week
- Running Discord under any elelctron version☆22Oct 18, 2023Updated 2 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.
- A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…☆1,004Sep 1, 2026Updated 2 weeks ago
- Fluent design Linux icon theme. More than 23.000 downloads☆38Jan 5, 2023Updated 3 years ago
- Arduino code for the Wemos D1 Mini with a Generic 1.44 TFT LCD running on the ST7735 Driver☆17Dec 1, 2021Updated 4 years ago
- A Python package designed to simplify the process of creating and managing function calls to OpenAI's API, as well as models using LiteLL…☆17May 25, 2025Updated last year
- A Deductive Verification Tool for OCaml Programs☆84Sep 10, 2026Updated last week
- Public transit serializer/deserializer and manipulation library for Rust☆17Nov 14, 2021Updated 4 years ago
- nix-direnv alternative that does not need a .direnv metafile☆18Jun 21, 2024Updated 2 years ago
- ☆17Jul 19, 2017Updated 9 years ago
- An open-source template for building a RAG chatbot for your company 🤖☆24Nov 22, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Command-line utility to connect to a Checkpoint SSL VPN☆71Mar 13, 2024Updated 2 years ago
- ☆22Jan 5, 2024Updated 2 years ago
- sokoban game solver through Multiple Search Algorithms and Reinforcement Learning (Q-Learning)☆13Nov 24, 2017Updated 8 years ago
- Terminal interface to search the LLVM-C API☆13Dec 26, 2021Updated 4 years ago
- An experimental multi-format mod player engine written in Rust.☆22Apr 15, 2018Updated 8 years ago
- ☆23Oct 30, 2023Updated 2 years ago
- A FFXIV Plugin to help players that want to collect all the shinies.☆12Updated this week
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- 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.
- a minimal blog platform using github for hosting content and page☆11Nov 25, 2020Updated 5 years ago
- The Anime Twist API used for querying anime entries and more☆14Sep 14, 2016Updated 10 years ago
- A web extension to replace all mentions of productivity to the poo emoji☆12Sep 14, 2020Updated 6 years ago
- A nix shell library for generating .gitignore files from github's own templates, and/or toptal's api! With sane defaults!☆23Jun 26, 2025Updated last year
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated 2 years ago
- Scripts for working with GoPro Max videos on Linux☆20Sep 18, 2025Updated last year
- nix plugin + daemon + tui for global system monitoring of all nix activity☆23Feb 19, 2026Updated 7 months ago