Sito web sviluppato in html/javascript/css che permette di simulare la parte teorica dell'esame di programmazione funzionale tenuto all'Università di Trento dal professor Kuper.
☆19Aug 11, 2024Updated last year
Alternatives and similar repositories for UNITN-lingprog-simulatore-mod2
Users that are interested in UNITN-lingprog-simulatore-mod2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).☆37Aug 11, 2024Updated last year
- Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento☆32Oct 7, 2024Updated last year
- Calcolatori Elettronici - UniTn - prof. Iacca☆12Feb 17, 2020Updated 6 years ago
- Developing Cod4-Modern Warfare Map of "Polo Ferrari" at University of Trento☆20Apr 26, 2013Updated 13 years ago
- A case converting app suitable for coding or typing☆14Apr 9, 2026Updated 3 weeks ago
- 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.
- Unravel provides Unmarshal functions that work with an abstract source data model.☆16Jan 17, 2025Updated last year
- A init/rc manager inspired by s6 and 66. Discontinued in favor of https://github.com/rinit-org/rinit☆18Mar 16, 2021Updated 5 years ago
- Lista curata di risorse per sopravvivere alla triennale in informatica all'Università degli Studi di Trento.☆20Oct 25, 2019Updated 6 years ago
- An Interactive CLI Tool to Setup Your Project Trees☆23Oct 15, 2024Updated last year
- Mozilla Italia localization guide, made by volunteers localizers for volunteer localizers!☆14Sep 17, 2021Updated 4 years ago
- SQLog - Connecting the dots☆33Nov 25, 2024Updated last year
- A simple device formatter☆22Jul 16, 2021Updated 4 years ago
- The Plan9 bullshit script on Arch Linux☆13May 28, 2018Updated 7 years ago
- Appunti del corso di Linguaggi formali e compilatori tenutosi l'A.A. 2018-2019.☆25Jan 28, 2020Updated 6 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.
- A simple screen recorder app designed for elementary OS.☆34May 26, 2022Updated 3 years ago
- A javascript port of chillerlan/php-qrcode☆50Aug 25, 2024Updated last year
- SPIDlibraryIOS is a library for logging in via SPID through several different identity providers.☆53Jun 4, 2024Updated last year
- US International keyboard layout for Windows 10 with AltGr Dead Keys☆38Dec 14, 2019Updated 6 years ago
- Scripts I'm using on my Arch Linux installation☆58Apr 11, 2026Updated 3 weeks ago
- A gruvbox theme for Obsidian☆190Aug 1, 2024Updated last year
- Photo viewer and organizer designed for elementary OS☆106Apr 14, 2026Updated 3 weeks ago
- Simple tray profile switcher for asusctl☆48May 16, 2024Updated last year
- JamesDSP config files for ASUS G14 2022 (will work for other models)☆47Dec 22, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Search for emojis in Krunner and copy/paste them☆75May 26, 2025Updated 11 months ago
- An esoteric programming language, come se fosse antani.☆1,380Nov 23, 2025Updated 5 months ago
- Restricted GMaps WebView☆69Nov 30, 2024Updated last year
- IO, l'app dei servizi pubblici☆695Updated this week
- GitSave is a self-hosted and open-source application that backs up your Git repositories.☆306Oct 19, 2025Updated 6 months ago
- ☆204Updated this week
- A fully functional bluetooth module for polybar☆96Aug 22, 2023Updated 2 years ago
- Encoding and parsing tools.☆1,021Jan 28, 2026Updated 3 months ago
- Automated OWASP CRS and Bad Bot Detection for Nginx, Apache, Traefik and HaProxy☆306Updated this week
- 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.
- Simple, modular, and observable Go framework for backend applications.☆834Feb 24, 2026Updated 2 months ago
- Repository principale di IO: offre una mappa di informazioni e risorse per orientarsi nel progetto☆121Jan 31, 2022Updated 4 years ago
- Script that get triggered when monitors are plugged in or out in Linux☆157Jul 14, 2021Updated 4 years ago
- Custom bitmap fonts, based on M+, Tewi, Lemon, and Siji☆167Aug 7, 2021Updated 4 years ago
- Golang comptime. Pure blasphemy☆490Jul 22, 2025Updated 9 months ago
- File browser designed for elementary OS☆360Updated this week
- A simple macOS app for monitoring the status of cloud services☆562Mar 30, 2026Updated last month