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 11 months ago
- Modern low level programming language designed for kernel development☆139Apr 4, 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…☆96Jan 19, 2026Updated 4 months ago
- Wi-Fi deauthenticator written in python3☆18Mar 14, 2023Updated 3 years ago
- Materiale didattico per il corso di Laboratorio 2B, Anno 2024/25☆22Nov 4, 2025Updated 6 months 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.
- Coq code formatter☆24Jan 22, 2026Updated 3 months ago
- ECLYPSE: An Edge-Cloud python platform for simulated (and emulated) runtime environments☆38May 13, 2026Updated last week
- 📕 pivoshenko's dotfiles focused on simplicity, modularity and developer happiness☆28Updated this week
- Relation algebra library for Coq☆52May 6, 2026Updated 2 weeks ago
- Vaporflow is a browser start page with daisyui distinctive aesthetic, featuring OpenWeather☆19Mar 17, 2025Updated last year
- Collection of oral questions and exam material☆31Sep 8, 2023Updated 2 years ago
- Exploit distribution system for A&D competitions☆51Nov 26, 2025Updated 5 months ago
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 7 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.
- Network traffic analysis tool for Attack & Defense CTF's☆137May 1, 2026Updated 3 weeks ago
- Metamath program - source code for the Metamath executable☆99Dec 2, 2025Updated 5 months ago
- Minimal, collaboratively written kernel☆447Apr 25, 2026Updated 3 weeks ago
- 🎓Collection of useful repositories☆165Jul 30, 2025Updated 9 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆147Mar 29, 2019Updated 7 years ago
- Telegram bot to build custom sticker packs☆72Sep 22, 2022Updated 3 years ago
- Tinder clone application written using SwiftUI, Firebase, Swift Package Manager and iOS 15 features.☆112Mar 6, 2024Updated 2 years ago
- The Lean Computer Science Library (CSLib)☆537May 14, 2026Updated last week
- Online ARM assembler and emulator☆201May 19, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆216Apr 14, 2026Updated last month
- Metamath source file for logic and set theory☆311Updated this week
- Favorite stickers telegram bot☆207Apr 28, 2026Updated 3 weeks ago
- Verifying the Rust standard library☆340Updated this week
- ☆371Oct 14, 2021Updated 4 years ago
- Materiale didattico per gli studenti di Ingegneria Informatica presso l'università di Pisa (classe L-8).☆386May 13, 2026Updated last week
- A simple app for stress testing Minecraft servers with bots☆523Aug 6, 2025Updated 9 months ago
- Minetrack makes it easy to keep an eye on your favorite Minecraft servers.☆556Jan 13, 2026Updated 4 months ago
- A verification toolchain for Rust programs☆764Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- opuntiaOS - an operating system targeting x86, ARM and RISC-V.☆660Apr 6, 2023Updated 3 years ago
- These are some of my ridiculously shit dotfiles that I use in my unproductive daily life.☆303Dec 4, 2023Updated 2 years ago
- Automation scripts for Instagram☆540Jan 9, 2023Updated 3 years ago
- A startpage called "dawn"☆409May 25, 2024Updated last year
- Snort++☆3,328Apr 23, 2026Updated 3 weeks ago
- The easiest way to read and WRITE from query parameters in sveltekit.☆655Updated this week
- A smart redirecting gateway for various frontend services☆938Updated this week