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
Sorting:
- Repository contenente il sorgente LaTex per il pdf riguardante Fondamenti matematici per l'informatica.☆11Mar 3, 2020Updated 6 years ago
- RedCraft 3 - Minecraft Fabric Mod☆14Jun 9, 2022Updated 3 years ago
- Actually good armor stand editor☆17Jun 1, 2021Updated 4 years ago
- Adds some new functions to the scarpet language☆20Jul 4, 2025Updated 8 months ago
- A useful tool for developing decorative builds etc in scarpet.☆21Jun 27, 2022Updated 3 years ago
- Extension Mod for gnembon's fabric-carpet with some more features☆31Jan 8, 2025Updated last year
- An online random forest implementaion written in Python.☆40Jul 3, 2016Updated 9 years ago
- A fully functional bluetooth module for polybar☆96Aug 22, 2023Updated 2 years ago
- Version-controlled history of Minecraft's generated data.☆96Aug 5, 2022Updated 3 years ago
- Custom bitmap fonts, based on M+, Tewi, Lemon, and Siji☆156Aug 7, 2021Updated 4 years ago
- Lazy code loading for Julia☆197Feb 1, 2026Updated last month
- Add a custom search engine to the list of available search engines in Firefox☆192Mar 30, 2025Updated 11 months ago
- Carpet Mod for Minecraft 1.13.2☆159Jan 1, 2020Updated 6 years ago
- Featured zsh/fish shell theme☆298Jun 20, 2022Updated 3 years ago
- Mirror of mypy for pre-commit☆347Dec 15, 2025Updated 2 months ago
- GitLab: https://gitlab.com/jD91mZM2/xidlehook☆405Feb 13, 2023Updated 3 years ago
- X11 window swallower☆432Jan 4, 2023Updated 3 years ago
- Hyprland rice for the summer themed competition☆503May 9, 2025Updated 10 months ago
- (Deprecated) A repository of themes for polybar.☆434Nov 5, 2021Updated 4 years ago
- dotfiles for my local setup☆534Oct 1, 2020Updated 5 years ago
- An opinionated code formatter for Julia. Plot twist - the opinion is your own.☆628Feb 12, 2026Updated 3 weeks ago
- A collection of papers, blogs, and resources that make up the quintessential aspects of cyber threat intelligence☆706Apr 21, 2025Updated 10 months ago
- MOA is an open source framework for Big Data stream mining. It includes a collection of machine learning algorithms (classification, regr…☆654Dec 19, 2025Updated 2 months ago
- Spotify Ad blocker based on SpotX for Linux☆802Dec 17, 2024Updated last year
- Emoji, unicode and general character picker for rofi, wofi and similar selectors on X11 and Wayland☆1,040Feb 8, 2026Updated last month
- docstring style checker☆1,116Nov 3, 2023Updated 2 years ago
- Minecraft ReplayMod☆992Dec 16, 2025Updated 2 months ago
- Trackpad-oriented window manager for macOS☆1,158Jan 20, 2025Updated last year
- My Openbox Theme Collections☆1,081Aug 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,381Feb 19, 2026Updated 2 weeks ago
- 🖩 Do live calculations in rofi!☆1,179Feb 17, 2026Updated 3 weeks ago
- Clipboard management using dmenu☆1,235Feb 16, 2026Updated 3 weeks ago
- Drag and drop source/target for X☆1,505Dec 22, 2025Updated 2 months ago
- List of FastAPI projects!☆1,595Feb 3, 2026Updated last month
- A sleek and minimal desktop shell thoughtfully crafted for Wayland.☆4,588Updated this week
- Jupyter notebooks for teaching/learning Python 3☆6,758Jan 4, 2024Updated 2 years ago
- dotfiles go brrr☆1,874Dec 2, 2025Updated 3 months ago
- A pytorch-based deep learning framework for multi-modal 2D/3D medical image segmentation☆1,903Jul 25, 2024Updated last year
- Documentation and issues for Pylance☆2,013Updated this week