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:
- Vaporflow is a browser start page with daisyui distinctive aesthetic, featuring OpenWeather☆19Mar 17, 2025Updated last year
- Mono Theme GTK☆49Dec 5, 2023Updated 2 years ago
- Scaling Reasoning for the Age of AI☆126Updated this week
- A Low Barrier Proof Assistant☆172Jul 23, 2026Updated 2 weeks ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆157Aug 4, 2026Updated last week
- 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.
- A parser generator for C☆413May 9, 2026Updated 3 months ago
- Verifying the Rust standard library☆345Updated this week
- Big buttons with easy click startpage for a browser.☆217Mar 3, 2022Updated 4 years ago
- Useful svelte stuff to put in your projects☆1,035Jun 29, 2026Updated last month
- A startpage called "dawn"☆411May 25, 2024Updated 2 years ago
- The easiest way to read and WRITE from query parameters in sveltekit.☆665Updated this week
- A verification toolchain for Rust programs☆900Updated this week
- A smart redirecting gateway for various frontend services☆952Updated this week
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,651Oct 31, 2025Updated 9 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.
- A browser extension to inspect Svelte application by extending your browser devtools capabilities☆1,614Jan 22, 2025Updated last year
- AI agent microservice☆3,081Jul 29, 2026Updated last week
- Open source alternative frontend for TikTok made using PHP☆2,131May 31, 2025Updated last year
- Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage☆3,042Jul 13, 2026Updated 3 weeks ago
- A responsive One-Line CSS Theme for Firefox☆1,604May 23, 2026Updated 2 months ago
- Chris Titus Tech's Linux Toolbox - Linutil is a distro-agnostic toolbox designed to simplify everyday Linux tasks.☆5,209Aug 4, 2026Updated last week
- A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code dev…☆3,310Apr 20, 2026Updated 3 months ago
- A Userstyle theme for Firefox minimalist and Keyboard centered.☆1,870Apr 24, 2022Updated 4 years ago
- The minimalist, elegant and hackable startpage.☆2,199Apr 21, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Making SvelteKit forms a pleasure to use!☆2,770Jul 4, 2026Updated last month
- An Information Security Reference That Doesn't Suck; https://rmusser.net/git/admin-2/Infosec_Reference for non-MS Git hosted version.☆5,985Oct 20, 2025Updated 9 months ago
- TheHive is a Collaborative Case Management Platform, now distributed as a commercial version☆3,946Jul 25, 2025Updated last year
- 🌤️ OpenCloud is the open source platform for file management, sharing and collaboration. Simple and sovereign.☆5,797Updated this week
- A command line progress reporting library for Rust☆5,197Jul 20, 2026Updated 3 weeks ago
- Fix X/Twitter and Bluesky embeds! Use multiple images, videos, polls, translations and more on Discord, Telegram and others☆4,875Updated this week
- Performance-portable, length-agnostic SIMD with runtime dispatch☆5,740Updated this week
- Quickly create and run optimised Windows, macOS and Linux virtual machines☆15,438Jul 28, 2026Updated 2 weeks ago
- A Small C Compiler☆6,410May 2, 2024Updated 2 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.
- This guide details creating a secure Linux production system. OpenSCAP (C2S/CIS, STIG).☆10,808Nov 19, 2024Updated last year
- Modern C++ Programming Course (C++03/11/14/17/20/23/26)☆15,993Apr 19, 2026Updated 3 months ago
- 🌀 A log file highlighter☆7,933Updated this week
- Perfect Next.js dark mode in 2 lines of code. Support System preference and any other theme with no flashing☆6,327Feb 25, 2026Updated 5 months ago
- Provides packet processing capabilities for Go☆6,793Mar 19, 2025Updated last year
- Get the main content of any page as Markdown.☆8,905Aug 3, 2026Updated last week
- 💪🏻 Blazing-fast system monitoring for your desktop (built with Rust, Tauri & Svelte)☆9,255Mar 30, 2026Updated 4 months ago