Materiale per il corso di paradigmi di programmazione
☆43Oct 4, 2024Updated last year
Alternatives and similar repositories for Paradigmi
Users that are interested in Paradigmi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX notes from various courses (mainly from UniPi)☆68Jun 2, 2025Updated 10 months ago
- Un'applicazione web per orientarsi facilmente tra gli edifici, i piani e le aule dei Poli dell'Università di Pisa. Esplora le mappe inter…☆32Mar 13, 2026Updated 3 weeks ago
- Raccolta di materiale ed appunti scritti in latex e non durante i corsi della laurea triennale di informatica presso l'università di Pisa…☆94Jan 19, 2026Updated 2 months ago
- Wi-Fi deauthenticator written in python3☆19Mar 14, 2023Updated 3 years ago
- Materiale didattico per il corso di Laboratorio 2B, Anno 2024/25☆23Nov 4, 2025Updated 5 months 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.
- Coq code formatter☆24Jan 22, 2026Updated 2 months ago
- Relation algebra library for Coq☆51Mar 20, 2026Updated 3 weeks ago
- Vaporflow is a browser start page with daisyui distinctive aesthetic, featuring OpenWeather☆19Mar 17, 2025Updated last year
- Metamath program - source code for the Metamath executable☆98Dec 2, 2025Updated 4 months ago
- Network traffic analysis tool for Attack & Defense CTF's☆131Updated this week
- 🎓Collection of useful repositories☆162Jul 30, 2025Updated 8 months ago
- Mono Theme GTK☆50Dec 5, 2023Updated 2 years ago
- The Lean Computer Science Library (CSLib)☆474Updated this week
- Online ARM assembler and emulator☆201May 19, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆206Mar 25, 2026Updated 2 weeks ago
- Metamath source file for logic and set theory☆308Apr 4, 2026Updated last week
- Verifying the Rust standard library☆331Updated this week
- ☆330Oct 14, 2021Updated 4 years ago
- Big buttons with easy click startpage for a browser.☆215Mar 3, 2022Updated 4 years ago
- Materiale didattico per gli studenti di Ingegneria Informatica presso l'università di Pisa (classe L-8).☆372Updated this week
- A verification toolchain for Rust programs☆680Updated this week
- A startpage called "dawn"☆409May 25, 2024Updated last year
- 📝 An opinionated, unstyled static blogging template — built with Astro, Tailwind, and shadcn/ui.☆747Apr 5, 2026Updated last week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Shell theme for GNOME DE☆524Jul 24, 2025Updated 8 months ago
- An opinionated list of resources for learning Haskell☆937Mar 26, 2022Updated 4 years ago
- Astro Nano is a static, minimalist, lightweight, lightning fast portfolio and blog.☆849Jun 16, 2025Updated 9 months ago
- linuxprivchecker.py -- a Linux Privilege Escalation Check Script☆1,789Jan 31, 2022Updated 4 years ago
- A repository full of malware samples.☆1,579Dec 24, 2023Updated 2 years ago
- RubberDucky like payloads for DigiSpark Attiny85☆1,608Oct 28, 2023Updated 2 years ago
- My favorite C programming practices.☆2,151Jan 19, 2026Updated 2 months ago
- Talk to ChatGPT AI using your voice and listen to its answers through a voice☆1,936May 19, 2024Updated last year
- Cloudflare's Rust service foundations library.☆1,568Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- USB Rubber Ducky type scripts written for the DigiSpark.☆2,145Feb 10, 2023Updated 3 years ago
- Defund the Police.☆13,587Jun 7, 2024Updated last year
- An Android application for streaming music from YouTube Music☆9,418Jul 15, 2024Updated last year
- 👻 Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser (and vice ve…☆3,590Jun 4, 2025Updated 10 months ago
- AI agent microservice☆3,015Mar 14, 2026Updated 3 weeks ago
- Exploring possibilities of ESP32 platform to attack on nearby Wi-Fi networks.☆2,855Feb 18, 2024Updated 2 years ago
- Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage☆2,989Mar 19, 2026Updated 3 weeks ago