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)☆67Jun 2, 2025Updated last year
- Coq code formatter☆26Jun 15, 2026Updated 2 months ago
- Collection of oral questions and exam material☆31Sep 8, 2023Updated 2 years ago
- Basically Caelestia+☆155Updated this week
- Save Microsoft Stream videos for offline enjoyment. This is an UNIPI fork.☆29Mar 19, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Source of metamath book☆57Dec 22, 2023Updated 2 years ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 8 years ago
- Metamath program - source code for the Metamath executable☆105Aug 17, 2026Updated 2 weeks ago
- 🎓Collection of useful repositories☆165Jul 30, 2025Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆145Mar 29, 2019Updated 7 years ago
- Telegram bot to build custom sticker packs☆71Sep 22, 2022Updated 3 years ago
- Scaling Reasoning for the Age of AI☆127Updated this week
- The main control script for the Caelestia dotfiles☆219Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆159Aug 4, 2026Updated last month
- 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.
- Metamath source file for logic and set theory☆337Updated this week
- ☆224May 29, 2026Updated 3 months ago
- Favorite stickers telegram bot☆213Updated this week
- Verifying the Rust standard library☆351Updated this week
- A minimal, fast, graphical UEFI boot manager written in C. no external dependencies — just a config file :)☆613Updated this week
- The Lean Computer Science Library (CSLib)☆686Updated this week
- Study resources for quantitative finance☆332Feb 28, 2022Updated 4 years ago
- These are some of my ridiculously shit dotfiles that I use in my unproductive daily life.☆298Dec 4, 2023Updated 2 years ago
- "I use Arch btw" but it's a Turing-complete programming language.☆1,046Jul 12, 2024Updated 2 years 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.
- A verification toolchain for Rust programs☆945Updated this week
- A smart redirecting gateway for various frontend services☆947Aug 19, 2026Updated 2 weeks ago
- Functional, accessible, and powerful form components for Svelte. 🫰☆802Apr 15, 2025Updated last year
- 🎵 A Youtube Music like app with a Spotify like design - ad free, open source.☆745Aug 16, 2026Updated 2 weeks ago
- A language for building concurrent software with confidence☆1,301Updated this week
- 🍞🥂 Buttery smooth toast notifications for Svelte☆1,059May 15, 2026Updated 3 months ago
- Cloudflare's Rust service foundations library.☆1,672Updated this week
- This is a carefully compiled list of remarkable projects with the focus on startpages.☆1,294Aug 14, 2026Updated 3 weeks ago
- Creusot helps you prove your Rust code is correct.☆1,837Updated 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.
- A browser extension to inspect Svelte application by extending your browser devtools capabilities☆1,618Jan 22, 2025Updated last year
- An Android application for streaming music from YouTube Music☆9,478Jul 15, 2024Updated 2 years ago
- The website you can edit on the page☆1,784Updated this week
- A fluid, morphing interface to your Linux desktop☆4,248Updated this week
- Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage☆3,047Updated this week
- A responsive One-Line CSS Theme for Firefox☆1,605May 23, 2026Updated 3 months ago
- A collection of wallpapers that go well with the rices inspired by the Nord Colorscheme. Made with ImageGoNord by Schrödinger Hat.☆1,860Dec 31, 2025Updated 8 months ago