Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
☆37Aug 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:
- A simple script to add application command support to discord.py v2.0☆26Feb 22, 2022Updated 4 years ago
- Adjustable mirrors mod for Farming Simulator 19, 22 & 25☆23Jul 15, 2025Updated 9 months ago
- Lazy code loading for Julia☆197Apr 1, 2026Updated 2 weeks ago
- Featured zsh/fish shell theme☆297Jun 20, 2022Updated 3 years ago
- Hyprland rice for the summer themed competition☆519May 9, 2025Updated 11 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.
- Guidance Steering (AutoTrack) for Farming Simulator 22.☆375Sep 30, 2023Updated 2 years ago
- no-op statements syntactically valid only since Python X.Y☆352Mar 12, 2026Updated last month
- Mirror of mypy for pre-commit☆349Apr 13, 2026Updated last week
- Dicio assistant app for Android☆1,319Feb 25, 2026Updated last month
- Trackpad-oriented window manager for macOS☆1,162Jan 20, 2025Updated last year
- The official binary distribution format for Python☆554Apr 6, 2026Updated 2 weeks ago
- GitLab: https://gitlab.com/jD91mZM2/xidlehook☆407Feb 13, 2023Updated 3 years ago
- X11 window swallower☆432Jan 4, 2023Updated 3 years ago
- Courseplay for Farming Simulator 2019☆922May 22, 2023Updated 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.
- Because 7-zip source code was in a 7z archive [mirror]☆499Jul 6, 2025Updated 9 months ago
- My Openbox Theme Collections☆1,090Aug 19, 2021Updated 4 years ago
- A curated list of awesome Ebitengine frameworks, libraries and software☆955Apr 13, 2026Updated last week
- Online machine learning resources☆612Mar 31, 2026Updated 2 weeks ago
- dotfiles for my local setup☆536Oct 1, 2020Updated 5 years ago
- A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.☆2,125Updated this week
- Use the Touch Bar on any Mac☆1,929Mar 6, 2024Updated 2 years ago
- A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)☆2,232Apr 14, 2026Updated last week
- Spotify Ad blocker based on SpotX for Linux☆800Dec 17, 2024Updated 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.
- ⌨️ Add user-customizable global keyboard shortcuts (hotkeys) to your macOS app in minutes☆2,597Feb 26, 2026Updated last month
- Dynamic and elegant desktop setup inspired by Material You, featuring auto-generated colors, fluid animations, and customizable user expe…☆1,426Updated this week
- docstring style checker☆1,119Nov 3, 2023Updated 2 years ago
- Java libraries for writing microservices☆3,774Updated this week
- Tool for interactive command line environments on Linux☆3,311Apr 11, 2026Updated last week
- 🖩 Do live calculations in rofi!☆1,201Feb 17, 2026Updated 2 months ago
- Experimental Telegram web client with tdlib, webassembly and react js under the hood☆2,555Feb 23, 2025Updated last year
- R Extension for Visual Studio Code☆1,165Mar 26, 2026Updated 3 weeks ago
- Clipboard management using dmenu☆1,242Apr 3, 2026Updated 2 weeks 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.
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,164Feb 24, 2026Updated last month
- A PowerShell script to download Windows or UEFI Shell ISOs☆2,817Mar 30, 2026Updated 3 weeks ago
- A soft-spoken desktop environment. Harmonizing Hyprland’s logic with a gentle, minimalist aesthetic.☆1,681Oct 18, 2023Updated 2 years ago
- Drag and drop source/target for X☆1,521Dec 22, 2025Updated 3 months ago
- dotfiles go brrr☆1,916Dec 2, 2025Updated 4 months ago
- Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.☆11,995Updated this week
- A small utility app for macOS that makes sure you know about all the latest updates to the apps you use.☆4,565Feb 9, 2026Updated 2 months ago