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:
- Materiale didattico per il corso di Laboratorio 2B, Anno 2023/24☆39Apr 30, 2024Updated 2 years ago
- LaTeX notes from various courses (mainly from UniPi)☆67Jun 2, 2025Updated last year
- Un'applicazione web per orientarsi facilmente tra gli edifici, i piani e le aule dei Poli dell'Università di Pisa. Esplora le mappe inter…☆32Apr 14, 2026Updated last month
- Raccolta di materiale ed appunti scritti in latex e non durante i corsi della laurea triennale di informatica presso l'università di Pisa…☆97Jan 19, 2026Updated 4 months ago
- Materiale didattico per il corso di Laboratorio 2B, Anno 2024/25☆22Nov 4, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Coq code formatter☆24Jan 22, 2026Updated 4 months ago
- ECLYPSE: An Edge-Cloud python platform for simulated (and emulated) runtime environments☆38Jun 1, 2026Updated last week
- Relation algebra library for Coq☆52May 6, 2026Updated last month
- Exploit distribution system for A&D competitions☆51Nov 26, 2025Updated 6 months ago
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- Examples of using the IoT JumpWay with the Raspberry Pi 3.☆85Apr 22, 2018Updated 8 years ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 7 years ago
- Network traffic analysis tool for Attack & Defense CTF's☆141Updated this week
- Metamath program - source code for the Metamath executable☆99Dec 2, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🎓Collection of useful repositories☆164Jul 30, 2025Updated 10 months ago
- Online ARM assembler and emulator☆201May 19, 2019Updated 7 years ago
- Simple, fast and flexible DIY Remote Desktop software☆300Nov 6, 2023Updated 2 years ago
- Metamath source file for logic and set theory☆313Updated this week
- ☆372Oct 14, 2021Updated 4 years ago
- Page of the course "Competitive Programming and Contests" at Department of Computer Science, University of Pisa☆228Sep 22, 2023Updated 2 years ago
- Materiale didattico per gli studenti di Ingegneria Informatica presso l'università di Pisa (classe L-8).☆387Updated this week
- Monolingual wordlists with pronunciation information in IPA☆765May 24, 2025Updated last year
- Incremental computation through constrained memoization.☆608Mar 13, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A list of open source web security scanners☆1,416Apr 29, 2025Updated last year
- Snort++☆3,343Apr 23, 2026Updated last month
- A comprehensive collection of cheatsheets for reverse engineering, binary analysis, and assembly programming tools. This repository serve…☆629Jul 21, 2025Updated 10 months ago
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,637Oct 31, 2025Updated 7 months ago
- A repository full of malware samples.☆1,631Dec 24, 2023Updated 2 years ago
- RubberDucky like payloads for DigiSpark Attiny85☆1,615Oct 28, 2023Updated 2 years ago
- My favorite C programming practices.☆2,155Jan 19, 2026Updated 4 months ago
- Talk to ChatGPT AI using your voice and listen to its answers through a voice☆1,933May 19, 2024Updated 2 years ago
- Cloudflare's Rust service foundations library.☆1,626Updated this week
- 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.
- USB Rubber Ducky type scripts written for the DigiSpark.☆2,160Feb 10, 2023Updated 3 years ago
- Cybersecurity oriented awesome list☆3,783Updated this week
- 🔥 Time Travel Visual Debugger for Rust☆1,678Apr 3, 2025Updated last year
- Defund the Police.☆13,838Jun 7, 2024Updated 2 years ago
- web search done right☆2,386Mar 24, 2025Updated last year
- A browser extension to inspect Svelte application by extending your browser devtools capabilities☆1,622Jan 22, 2025Updated last year
- Open source alternative frontend for TikTok made using PHP☆2,124May 31, 2025Updated last year