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:
- Un'applicazione web per orientarsi facilmente tra gli edifici, i piani e le aule dei Poli dell'Università di Pisa. Esplora le mappe inter…☆35Apr 14, 2026Updated 3 months ago
- Modern low level programming language designed for kernel development☆143Apr 4, 2026Updated 3 months ago
- This is the material for the course on Algorithm Engineering at the University of Pisa☆18Sep 23, 2024Updated last year
- crumbling large graphs into connected components☆12Jan 8, 2018Updated 8 years ago
- Coq code formatter☆25Jun 15, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Estende il portale studenti dell'università di Pisa aggiungendo numerose statistiche sugli esami verbalizzati☆22Feb 7, 2026Updated 5 months ago
- 📕 pivoshenko's dotfiles focused on simplicity, modularity and developer happiness☆28Updated this week
- Another Cards Against Humanity clone built in React.☆16Jul 30, 2020Updated 5 years ago
- Relation algebra library for Coq☆52May 6, 2026Updated 2 months ago
- ☆35Jul 12, 2026Updated last week
- Interfaces course notes at UniPi☆11Nov 30, 2021Updated 4 years ago
- VHDL to Redstone Circuit Compiler☆29Dec 31, 2025Updated 6 months ago
- 🎓Collection of useful repositories☆165Jul 30, 2025Updated 11 months ago
- PackConverter is a library for converting Java Edition resource packs to Bedrock Edition.☆163Updated 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.
- Scaling Reasoning for the Age of AI☆112Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆153May 8, 2026Updated 2 months ago
- ☆217Mar 7, 2025Updated last year
- Converts 2D and 3D item predicates from Minecraft Java Edition to Minecraft Bedrock Edition☆355Mar 30, 2025Updated last year
- The Lean Computer Science Library (CSLib)☆627Updated this week
- Useful svelte stuff to put in your projects☆1,033Jun 29, 2026Updated 3 weeks ago
- These are some of my ridiculously shit dotfiles that I use in my unproductive daily life.☆297Dec 4, 2023Updated 2 years ago
- A simple Geyser extension that broadcasts the server over Xbox Live.☆621Jul 13, 2026Updated last week
- "I use Arch btw" but it's a Turing-complete programming language.☆1,032Jul 12, 2024Updated 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 startpage called "dawn"☆409May 25, 2024Updated 2 years ago
- The easiest way to read and WRITE from query parameters in sveltekit.☆664Updated this week
- pgf/TikZ diagram editor☆1,248Apr 17, 2024Updated 2 years ago
- A verification toolchain for Rust programs☆870Updated this week
- Functional, accessible, and powerful form components for Svelte. 🫰☆803Apr 15, 2025Updated last year
- GlareDB: A light and fast SQL database for analytics☆1,017Nov 14, 2025Updated 8 months ago
- Talk to ChatGPT AI using your voice and listen to its answers through a voice☆1,929May 19, 2024Updated 2 years ago
- 🍞🥂 Buttery smooth toast notifications for Svelte☆1,051May 15, 2026Updated 2 months ago
- An opinionated toast component for Svelte. A port of @emilkowalski's sonner.☆1,275Apr 24, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is a carefully compiled list of remarkable projects with the focus on startpages.☆1,270Apr 14, 2026Updated 3 months ago
- Creusot helps you prove your Rust code is correct.☆1,805Updated this week
- Easily add integrations and other functionality to Svelte(kit) apps☆1,490Oct 20, 2024Updated last year
- A fluid, morphing config for your Linux desktop☆3,747Updated this week
- Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage☆3,039Jul 13, 2026Updated last week
- A modern, cross-platform, multi-threaded, and general purpose filesystem and disk-usage utility that is aware of .gitignore and hidden fi…☆2,591May 19, 2024Updated 2 years ago
- Chris Titus Tech's Linux Toolbox - Linutil is a distro-agnostic toolbox designed to simplify everyday Linux tasks.☆5,177Updated this week