Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento
☆32Oct 7, 2024Updated last year
Alternatives and similar repositories for Appunti-LFC
Users that are interested in Appunti-LFC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Calcolatori Elettronici - UniTn - prof. Iacca☆12Feb 17, 2020Updated 6 years ago
- Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).☆40Aug 11, 2024Updated last year
- Risorse esame Prog. avanzata - Prof. E. Blanzieri e P. Roberti - Università di Trento☆17Jan 31, 2022Updated 4 years ago
- Lista curata di risorse per sopravvivere alla triennale in informatica all'Università degli Studi di Trento.☆20Oct 25, 2019Updated 6 years ago
- A case converting app suitable for coding or typing☆14Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- CV template written in typst.☆12Mar 11, 2026Updated 4 months ago
- A C++ library for interfacing with the SkyRC B6* chargers.☆12Apr 20, 2018Updated 8 years ago
- Mozilla Italia localization guide, made by volunteers localizers for volunteer localizers!☆14Sep 17, 2021Updated 4 years ago
- A simple web based Bloch sphere simulator, intended to help people to understand and visualize transition of single qubit state on applyi…☆26Updated this week
- Digital quantum circuit simulator written in Julia☆31May 15, 2023Updated 3 years ago
- source code☆16Oct 4, 2021Updated 4 years ago
- Source code of the website fs-quiz.eu and API☆11Jan 29, 2025Updated last year
- ☆22Aug 18, 2023Updated 2 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.
- A simple device formatter☆22Jul 16, 2021Updated 5 years ago
- Low cost USB to CAN-FD (Controller Area Network - Flexible Data rate) interface.☆19Jun 28, 2023Updated 3 years ago
- Basic examples for Longan nano board with GD32V103 MCU.☆21Jan 24, 2021Updated 5 years ago
- Tray icon that manages ActivityWatch processes, built with Qt.☆32Mar 22, 2026Updated 3 months ago
- The unofficial, open-source app for PoliTo students. Available for mobile, desktop & web.☆13Feb 20, 2024Updated 2 years ago
- A simple screen recorder app designed for elementary OS.☆34May 26, 2022Updated 4 years ago
- React Native: It offers information about install packages☆31Aug 21, 2018Updated 7 years ago
- A WASM-powered Typst Studio built with Rust and Leptos. Features real-time document compilation to SVG/PDF, IEEE template support, dynami…☆54Jul 9, 2026Updated last week
- Converts Chrome extensions to Firefox☆57Jan 11, 2024Updated 2 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.
- This is the Joomla plugin Google maps by Reumer☆30Jun 26, 2017Updated 9 years ago
- A Typst Editor for iPad☆46Nov 25, 2025Updated 7 months ago
- fdcanusb adapter☆37Mar 9, 2026Updated 4 months ago
- Minimalistic client for Product Hunt☆33Oct 10, 2017Updated 8 years ago
- ESP8266 WLAN Control Unit for Gardena 9V Irrigation Valve No. 1251☆39Jun 5, 2024Updated 2 years ago
- A Listview with a sidebar to jump to sections directly☆33Sep 17, 2017Updated 8 years ago
- Reduce the size of SVGs☆123Dec 31, 2025Updated 6 months ago
- A lightweight, native macOS editor for Typst.☆65Dec 9, 2025Updated 7 months ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆85Jul 8, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Scripts I'm using on my Arch Linux installation☆58Apr 11, 2026Updated 3 months ago
- GUI configuration tool for compton X composite manager☆135Aug 20, 2023Updated 2 years ago
- Photo viewer and organizer designed for elementary OS☆106Jul 10, 2026Updated last week
- UI & API Components Library for React Native☆65Jan 3, 2023Updated 3 years ago
- Compare your design and current flutter layout.☆46May 22, 2023Updated 3 years ago
- Reverse engineering of the Tesla Model 3 battery bms control☆82Oct 3, 2025Updated 9 months ago
- Arduino car tachometer☆63Feb 13, 2019Updated 7 years ago