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.
☆20Aug 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:
- Unravel provides Unmarshal functions that work with an abstract source data model.☆16Jan 17, 2025Updated last year
- Generate badges for your android app's README with realtime data from Google Playstore such as Version, Number of Installs, Rating etc☆14Nov 15, 2021Updated 4 years ago
- Android view for displaying PDFs rendered with PdfiumAndroid☆14Updated this week
- Mozilla Italia localization guide, made by volunteers localizers for volunteer localizers!☆14Sep 17, 2021Updated 4 years ago
- Turn Markdown into self-contained html slideshows (using remark.js)☆16Feb 12, 2025Updated last year
- 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.
- Appunti del corso di Linguaggi formali e compilatori tenutosi l'A.A. 2018-2019.☆25Jan 28, 2020Updated 6 years ago
- Public, browser-trusted HTTPS for any device behind NAT — the device keeps its private key, the relay forwards SNI-routed ciphertext and …☆17Jul 19, 2026Updated last week
- Accelerate docker cross builds with github actions native arm runners☆19Jan 16, 2025Updated last year
- A simple device formatter☆22Jul 16, 2021Updated 5 years ago
- The Plan9 bullshit script on Arch Linux☆13May 28, 2018Updated 8 years ago
- ☆17Jan 19, 2017Updated 9 years ago
- unity style with gnome power☆17Nov 16, 2019Updated 6 years ago
- A simple screen recorder app designed for elementary OS.☆34May 26, 2022Updated 4 years ago
- A javascript port of chillerlan/php-qrcode☆50Aug 25, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Sticky Notes is a webextension that enable browser to put sticky to web page.☆41Jan 25, 2023Updated 3 years ago
- Open Hospital GUI (Java Swing) component☆56Updated this week
- Open Hospital web UI☆51Jul 16, 2026Updated last week
- SPIDlibraryIOS is a library for logging in via SPID through several different identity providers.☆53Jun 4, 2024Updated 2 years ago
- A Better History page inspired by Vivaldi ⛺☆61Jan 17, 2023Updated 3 years ago
- 🍿 A browser extension that adds small tweaks and useful new features to Amazon Prime Video☆70Apr 24, 2024Updated 2 years ago
- Retree - bijective lens for /usr/bin/tree -F☆25Mar 16, 2026Updated 4 months ago
- Modern web interface for Docker Registry management.☆77Aug 4, 2025Updated 11 months ago
- Photo viewer and organizer designed for elementary OS☆105Jul 10, 2026Updated 2 weeks 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.
- Repository of "CV Project" app. It's an unofficial app for Mozilla Common Voice, which permits you to contribute to this project via your…☆114Jul 8, 2026Updated 2 weeks ago
- Backwards compatibility linter for Go.☆68Apr 15, 2019Updated 7 years ago
- Simple tray profile switcher for asusctl☆48May 16, 2024Updated 2 years ago
- SPIDlibraryAndroid is a library for logging in via SPID through several different identity providers.☆103Aug 7, 2025Updated 11 months ago
- The simplest PDF viewer. Safe, private, lightweight and modern.☆155Jul 13, 2026Updated last week
- An esoteric programming language, come se fosse antani.☆1,379Nov 23, 2025Updated 8 months ago
- Toolkits to create a human-in-the-loop approval layer to monitor and guide AI agents workflow in real-time.☆192Nov 28, 2024Updated last year
- Stylish top panel that holds indicators and spawns an application launcher☆143Jun 29, 2026Updated 3 weeks ago
- A script to create WebMs within a certain file size limit (available in Python and Bash).☆47Oct 19, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Material Design-inspired userChrome.css theme for Firefox. This repository is a Fork of muckSponge/MaterialFox.☆42Dec 25, 2022Updated 3 years ago
- IO, l'app dei servizi pubblici☆699Updated this week
- ☆100Updated this week
- "Emoji" is a Firefox add-on where you can find emojis and copy them with a single click.☆189Jul 8, 2026Updated 2 weeks ago
- Ferris Sweep ZMK Configuration☆309Oct 7, 2023Updated 2 years ago
- Gtk+☆75Mar 5, 2022Updated 4 years ago
- A fully functional bluetooth module for polybar☆97Aug 22, 2023Updated 2 years ago