Pater999 / UNITN-linguaggi-programmazione-SMLView external linksLinks
Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
☆38Aug 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
Sorting:
- Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento☆33Oct 7, 2024Updated last year
- Repository contenente il sorgente LaTex per il pdf riguardante Fondamenti matematici per l'informatica.☆11Mar 3, 2020Updated 5 years ago
- Risorse esame Prog. avanzata - Prof. E. Blanzieri e P. Roberti - Università di Trento☆18Jan 31, 2022Updated 4 years ago
- Site where there are simulations of the theoric part of unitn exam "linguaggi di programmazione - mod 1"☆12Oct 17, 2023Updated 2 years ago
- A fully functional bluetooth module for polybar☆96Aug 22, 2023Updated 2 years ago
- Custom bitmap fonts, based on M+, Tewi, Lemon, and Siji☆155Aug 7, 2021Updated 4 years ago
- GitHub token permissions Monitor and Advisor actions☆352Jan 31, 2026Updated 2 weeks ago
- Mirror of mypy for pre-commit☆342Dec 15, 2025Updated 2 months ago
- Modified file to apply to a stock technicolor GUI☆362Jul 17, 2024Updated last year
- Library for Digital Pathology Image Processing☆439Feb 9, 2026Updated last week
- GitLab: https://gitlab.com/jD91mZM2/xidlehook☆403Feb 13, 2023Updated 3 years ago
- X11 window swallower☆431Jan 4, 2023Updated 3 years ago
- The official binary distribution format for Python☆549Feb 8, 2026Updated last week
- AwesomeTTS text-to-speech add-on for Anki☆499May 24, 2024Updated last year
- (Deprecated) A repository of themes for polybar.☆434Nov 5, 2021Updated 4 years ago
- Unlock vGPU functionality for consumer grade GPUs☆622Nov 13, 2025Updated 3 months ago
- dotfiles for my local setup☆534Oct 1, 2020Updated 5 years ago
- Towny Advanced Minecraft plugin for Bukkit/Spigot.☆594Updated this week
- A collection of papers, blogs, and resources that make up the quintessential aspects of cyber threat intelligence☆703Apr 21, 2025Updated 9 months ago
- Magic hashes – PHP hash "collisions"☆819Mar 23, 2025Updated 10 months ago
- A curated list of awesome Ebitengine frameworks, libraries and software☆933Feb 9, 2026Updated last week
- Contest Management System☆1,015Updated this week
- DuckDuckGo Instant Answers based on Perl & JavaScript☆991Oct 14, 2022Updated 3 years ago
- Emoji, unicode and general character picker for rofi, wofi and similar selectors on X11 and Wayland☆1,030Feb 8, 2026Updated last week
- SQL made uagliò.☆1,402Jun 6, 2023Updated 2 years ago
- Minecraft ReplayMod☆990Dec 16, 2025Updated 2 months ago
- Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.☆1,133May 3, 2024Updated last year
- GPS log file viewer and analyzer with support for GPX, TCX, KML, FIT, IGC, NMEA, SLF, SML, LOC, GPI, GeoJSON and OziExplorer files.☆1,153Feb 9, 2026Updated last week
- Trackpad-oriented window manager for macOS☆1,158Jan 20, 2025Updated last year
- My Openbox Theme Collections☆1,076Aug 19, 2021Updated 4 years ago
- Dynamic and elegant desktop setup inspired by Material You, featuring auto-generated colors, fluid animations, and customizable user expe…☆1,366Jan 14, 2026Updated last month
- Vortex Development☆1,233Updated this week
- Convert Audible's .aax filetype to MP3, FLAC, M4A, or OPUS☆1,278Mar 27, 2023Updated 2 years ago
- A sleek and minimal desktop shell thoughtfully crafted for Wayland.☆3,690Updated this week
- A Matrix-WhatsApp puppeting bridge☆1,651Jan 29, 2026Updated 2 weeks ago
- DuckDuckGo Instant Answer Infrastructure☆1,814Oct 14, 2022Updated 3 years ago
- Plex torrent streaming through Debrid Services☆1,649Jul 23, 2024Updated last year
- All Ubuntu Yaru GNOME themes☆1,498Updated this week
- Jupyter notebooks for teaching/learning Python 3☆6,753Jan 4, 2024Updated 2 years ago