Una piccola raccolta di dispense utili alla sopravvivenza presso UNIVR.
☆25Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for survive-univr
Users that are interested in survive-univr are comparing it to the libraries listed below
Sorting:
- Un posto dove lasciare i miei appunti fatti (più o meno) bene per i posteri, e permettere ai posteri di sistemare eventuali errori. :)☆38Jan 17, 2026Updated last month
- App che permette di cercare e tracciare i treni in tutta Italia☆15Feb 1, 2026Updated last month
- The modern shell for SIS (the circuit simulator and optimizer)☆10Feb 5, 2024Updated 2 years ago
- Collezione di codice LaTex di dispense scritte per alcuni corsi della Laurea in Informatica dell'Università di Verona☆89Dec 16, 2023Updated 2 years ago
- Appunti e forse consigli per sopravvivere ad informatica☆26Oct 2, 2024Updated last year
- Logic synthesis system from UC Berkeley☆47Feb 26, 2025Updated last year
- An object-oriented priority queue with updatable priorities.☆11Feb 19, 2018Updated 8 years ago
- A GUI application for testing GRPC services☆18Nov 20, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- SRI Group Website☆10Updated this week
- Storage and filesystem management for the Piracy Shield API.☆14Mar 26, 2024Updated last year
- ☆17Dec 1, 2020Updated 5 years ago
- Generate a KDE Plasma color scheme from an xresource color palette☆21Nov 29, 2020Updated 5 years ago
- An implementation of the CIP (Common Industrial Protocol), for EthernetIP and DeviceNet, based on OpENer☆18Jan 7, 2018Updated 8 years ago
- key/value annotations for Go contexts☆42Dec 15, 2024Updated last year
- Perché per Python ci vuole la RUSPA!!!☆120May 14, 2021Updated 4 years ago
- A minimal docker compose setup for experimenting with cloud agnostic Lakehouse Architectures Apache Spark with Hive Metastore + Delta Lak…☆34Apr 17, 2024Updated last year
- A community-driven and growing collection of themes for customizing Lichess.org with the prettierlichess browser extension (https://prett…☆31Jun 16, 2025Updated 8 months ago
- Mock time.Now() in golang☆39Jun 6, 2024Updated last year
- Fish shell function for managing env vars from dotenv files 🐟☆48Dec 7, 2025Updated 3 months ago
- simple and fast scripting language☆41Apr 15, 2021Updated 4 years ago
- Rustlike shell scripting language; Resilient & robust shell script, compiling to rust code/bash script☆59Oct 22, 2021Updated 4 years ago
- 🐕 A little programming language written in Rust☆57Dec 27, 2020Updated 5 years ago
- Source for the book "Why Cryptocurrencies?"☆62Sep 1, 2025Updated 6 months ago
- A filter that blocks spam & misleading websites from appearing in search results via uBlocklist☆711Mar 1, 2026Updated last week
- 🔩 Integrations containing helper classes for ReVanced. Originally maintained by Vanced.☆58Nov 10, 2024Updated last year
- A pure-rust protobuf compiler, designed for use with prost-build☆102Dec 2, 2025Updated 3 months ago
- Adds a "Bash" context menu option in Windows Explorer.☆69Dec 15, 2018Updated 7 years ago
- Pack a webpage including images and CSS into a single HTML file☆92Sep 14, 2021Updated 4 years ago
- A simple stochastic OpenAI environment for training RL agents☆88Feb 8, 2023Updated 3 years ago
- A dark, clean, simple and elegant theme for JetBrains IDE.☆123Dec 5, 2025Updated 3 months ago
- ☆115Nov 21, 2016Updated 9 years ago
- A minimalist and safe ECS library for rust!☆135Jun 21, 2021Updated 4 years ago
- Adwaita Colors customizes Adwaita icons to match your GNOME theme's accent color, providing a cohesive, personalized look.☆223Mar 3, 2026Updated last week
- magma circuits☆265Oct 19, 2024Updated last year
- Organized ReVanced & ReVanced Extended functionalities along with visual illustrations.☆264Sep 26, 2024Updated last year
- Deobfuscator for Android Application☆468Jun 16, 2022Updated 3 years ago
- Pymtl 3 (Mamba), an open-source Python-based hardware generation, simulation, and verification framework☆446Aug 24, 2025Updated 6 months ago
- This software will emulate a smali source file generated by apktool.☆474Aug 14, 2018Updated 7 years ago