Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
☆41Aug 11, 2024Updated last year
Alternatives and similar repositories for UNITN-linguaggi-programmazione-SML
Users that are interested in UNITN-linguaggi-programmazione-SML are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RedCraft 3 - Minecraft Fabric Mod☆14Jun 9, 2022Updated 4 years ago
- 🌟 A plugin that does... stuff, I guess. Disable Minecraft versions (even the current server version!), remap blocks/items for older vers…☆15Mar 31, 2019Updated 7 years ago
- A simple script to add application command support to discord.py v2.0☆26Feb 22, 2022Updated 4 years ago
- A useful tool for developing decorative builds etc in scarpet.☆20Jun 27, 2022Updated 4 years ago
- Extension Mod for gnembon's fabric-carpet with some more features☆31Jan 8, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Fabric carpet extension that adds discord functionality to scarpet☆34Jul 1, 2026Updated last month
- Online machine learning methods☆22Sep 29, 2021Updated 4 years ago
- WIP☆37Jul 29, 2024Updated 2 years ago
- ONScripter☆54Jan 22, 2024Updated 2 years ago
- Yu-RIS visual novel engine toolset☆59Jun 4, 2021Updated 5 years ago
- Version-controlled history of Minecraft's generated data.☆96Aug 5, 2022Updated 4 years ago
- Continuation of ONScripter-EN with updated dependencies and more features and bugfixes. Also see onscripter-insani (https://github.com/in…☆107Jan 26, 2026Updated 6 months ago
- Public Repository of scarpet programs for Minecraft☆373Jan 24, 2026Updated 6 months ago
- Labs for QGSS 2025. Lectures notes can be found in a separate repo: https://github.com/qiskit-community/qgss-2025-lecture-notes☆339Aug 11, 2025Updated last year
- 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.
- A simple macOS app for monitoring the status of cloud services☆566Mar 30, 2026Updated 4 months ago
- Towny Advanced Minecraft plugin for Bukkit/Spigot.☆615Updated this week
- Clean Architecture Example using FastAPI framework☆507May 12, 2023Updated 3 years ago
- (Deprecated) A repository of themes for polybar.☆434Nov 5, 2021Updated 4 years ago
- Mirror of mypy for pre-commit☆350Jul 13, 2026Updated 3 weeks ago
- Minecraft ReplayMod☆1,014Jul 12, 2026Updated 3 weeks ago
- Companion site for the textbook Quantum Computing: An Applied Approach☆929Dec 3, 2023Updated 2 years ago
- An opinionated code formatter for Julia. Plot twist - the opinion is your own.☆640Jul 31, 2026Updated last week
- An open-source library built on Qiskit for quantum machine learning tasks at scale on quantum hardware and classical simulators☆1,090Updated 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.
- Trackpad-oriented window manager for macOS☆1,163Jan 20, 2025Updated last year
- The official binary distribution format for Python☆569Updated this week
- X11 window swallower☆429Jan 4, 2023Updated 3 years ago
- Online machine learning resources☆627Mar 31, 2026Updated 4 months ago
- Kirikiri Z Project☆937Mar 24, 2024Updated 2 years ago
- A Python library for quantum programming using Quil.☆1,495Jul 29, 2026Updated last week
- Full-featured, open source mail server solution for mainstream Linux/BSD distributions.☆1,836Updated this week
- Apple Silicon Guide. Learn all about the A17 Pro, A16 Bionic, R1, M1-series, M2-series, and M3-series chips. Along with all the Devices,…☆1,884Jun 27, 2025Updated last year
- dotfiles for my local setup☆536Oct 1, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An enhancement ONScripter project porting to many platforms, especially web.☆834Jun 23, 2026Updated last month
- ☆2,049Jan 27, 2026Updated 6 months ago
- MOA is an open source framework for Big Data stream mining. It includes a collection of machine learning algorithms (classification, regr…☆662Jul 17, 2026Updated 3 weeks ago
- A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.☆2,160Updated this week
- Use the Touch Bar on any Mac☆1,935Mar 6, 2024Updated 2 years ago
- Official xy-VSFilter Repository☆938Dec 8, 2023Updated 2 years ago
- A fast, customizable and compatible open source server for Minecraft: Java Edition☆2,001May 18, 2026Updated 2 months ago