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 Fork of a Fork. Please do not have high hopes☆11Nov 5, 2019Updated 6 years ago
- A static web site generator using MediaWiki.☆14Updated this week
- ☆20Feb 17, 2025Updated last year
- The official RBG release repository.☆14Nov 11, 2025Updated 6 months ago
- MCSManager Docker Image Builder☆15Apr 2, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Terminal rendering for Indigo based roguelike games.☆25Nov 20, 2025Updated 6 months ago
- The blazingly fastest way to get to your projects☆157May 18, 2026Updated 3 weeks ago
- Decompilation/disassembly of Fire Emblem: The Sacred Stones☆204Updated this week
- Container for all classes that will be used to marshal and unmarshal XML/JSON from the API☆89Jun 1, 2026Updated last week
- Reduce the size of SVGs☆120Dec 31, 2025Updated 5 months ago
- Zenodo, powered by InvenioRDM☆253Updated this week
- Lazy code loading for Julia☆198May 1, 2026Updated last month
- Garbage collector that stops inactive LSP clients to free RAM☆514Feb 25, 2026Updated 3 months ago
- Unlock vGPU functionality for consumer grade GPUs☆664Nov 13, 2025Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Hyprland rice for the summer themed competition☆538May 9, 2025Updated last year
- Pharaoh (1999, open source engine)☆443Jun 1, 2026Updated last week
- (Deprecated) A repository of themes for polybar.☆434Nov 5, 2021Updated 4 years ago
- Mirror of mypy for pre-commit☆349May 12, 2026Updated 3 weeks ago
- ORCID Open Source Project☆563Updated this week
- Dicio assistant app for Android☆1,375May 21, 2026Updated 2 weeks ago
- An opinionated code formatter for Julia. Plot twist - the opinion is your own.☆632Updated this week
- Generate interactive, beautiful and insightful chat analysis reports☆1,122Oct 19, 2025Updated 7 months ago
- Trackpad-oriented window manager for macOS☆1,163Jan 20, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GitLab: https://gitlab.com/jD91mZM2/xidlehook☆407Feb 13, 2023Updated 3 years ago
- A list of python problems for beginners and intermediate developers☆949Jun 20, 2023Updated 2 years ago
- My Openbox Theme Collections☆1,095Aug 19, 2021Updated 4 years ago
- dotfiles for my local setup☆537Oct 1, 2020Updated 5 years ago
- List of FastAPI projects!☆1,606Updated this week
- Use the Touch Bar on any Mac☆1,934Mar 6, 2024Updated 2 years ago
- An Awesome List for getting started with web archiving☆2,563Apr 27, 2026Updated last month
- Spotify Ad blocker based on SpotX for Linux☆797Dec 17, 2024Updated last year
- Jupyter notebooks for teaching/learning Python 3☆6,822Jan 4, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ⌨️ Add user-customizable global keyboard shortcuts (hotkeys) to your macOS app in minutes☆2,634Feb 26, 2026Updated 3 months ago
- Library and command-line utility for rendering projects templates.☆3,393Jun 2, 2026Updated last week
- Dynamic and elegant desktop setup inspired by Material You, featuring auto-generated colors, fluid animations, and customizable user expe…☆1,478May 19, 2026Updated 3 weeks ago
- docstring style checker☆1,120Nov 3, 2023Updated 2 years ago
- Emoji, unicode and general character picker for rofi, wofi and similar selectors on X11 and Wayland☆1,067May 28, 2026Updated last week
- ⚙️ Supercharge your shortcuts☆3,019Feb 17, 2025Updated last year
- Feature rich robust FastAPI template.☆2,800May 5, 2026Updated last month