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:
- Webapp per testare Grammatiche, RegEx, Automi, Algoritmi e altro, trattati nel corso di LFC di UniTN☆10Apr 15, 2026Updated last month
- files for the AP course☆11Nov 10, 2025Updated 6 months ago
- The purpose of this repository is to write a handbook about the topics covered by professor Andrea Passerini in his course: Machine Learn…☆20Feb 17, 2024Updated 2 years ago
- Simple python script that allows member to get the public data dump on demand☆19Mar 1, 2026Updated 2 months ago
- A Fork of a Fork. Please do not have high hopes☆11Nov 5, 2019Updated 6 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.
- A static web site generator using MediaWiki.☆14Dec 27, 2021Updated 4 years ago
- Fork of the Ponscripter visual novel engine to take advantage of SDL2 and improve Steam integration☆19Jul 14, 2025Updated 10 months ago
- The official RBG release repository.☆14Nov 11, 2025Updated 6 months ago
- Terminal rendering for Indigo based roguelike games.☆25Nov 20, 2025Updated 6 months ago
- Data Science project: downloading, cleaning and analysing Steam Store Data. Write-ups on blog:☆25May 22, 2023Updated 2 years ago
- Library to program vga hardware.☆62Jun 12, 2023Updated 2 years ago
- ☆28Oct 11, 2022Updated 3 years ago
- Structure-based Drug Design; Reinforcement Learning and Genetic Algorithm☆79Jul 17, 2023Updated 2 years ago
- The Inaugural Unofficial Gleam Chess Bot Tournament!☆45Jul 24, 2025Updated 9 months ago
- 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.
- Container images that include conda-forge's miniforge setup☆58Updated this week
- An easy way to create docs for your project☆62May 10, 2026Updated last week
- Simulate games of Dominion☆49Apr 22, 2026Updated 3 weeks ago
- Download streams from DASH and HLS playlists.☆481Updated this week
- Continuation of ONScripter-EN with updated dependencies and more features and bugfixes. Also see onscripter-insani (https://github.com/in…☆96Jan 26, 2026Updated 3 months ago
- Yu-RIS visual novel engine toolset☆58Jun 4, 2021Updated 4 years ago
- ☆55Jun 29, 2023Updated 2 years ago
- Container for all classes that will be used to marshal and unmarshal XML/JSON from the API☆87Apr 9, 2026Updated last month
- Zenodo, powered by InvenioRDM☆241May 6, 2026Updated last week
- 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.
- Ferris Sweep ZMK Configuration☆306Oct 7, 2023Updated 2 years ago
- A fully functional bluetooth module for polybar☆96Aug 22, 2023Updated 2 years ago
- GitHub token permissions Monitor and Advisor actions☆363Jan 31, 2026Updated 3 months ago
- Excel文件转Rpy脚本☆182May 8, 2026Updated last week
- Totally legal and legit updater for Yuzu Early Access☆210Dec 28, 2023Updated 2 years ago
- Custom bitmap fonts, based on M+, Tewi, Lemon, and Siji☆167Aug 7, 2021Updated 4 years ago
- a gradio webui for faster whisper☆275Apr 28, 2023Updated 3 years ago
- MkDocs i18n plugin using static translation markdown files☆321Mar 23, 2026Updated last month
- (Deprecated) A repository of themes for polybar.☆433Nov 5, 2021Updated 4 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.
- 文革史书单书籍存放库☆644Aug 19, 2024Updated last year
- Torn keyboard☆685May 31, 2022Updated 3 years ago
- ORCID Open Source Project☆560May 12, 2026Updated last week
- Mirror of mypy for pre-commit☆350May 12, 2026Updated last week
- 刘仲敬著作、文章、演讲、访谈、twitter言论 合集☆487May 15, 2022Updated 4 years ago
- Dicio assistant app for Android☆1,357Updated this week
- Trackpad-oriented window manager for macOS☆1,162Jan 20, 2025Updated last year