☆10Jun 6, 2026Updated 2 months ago
Alternatives and similar repositories for typst-slides-unipd
Users that are interested in typst-slides-unipd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Template di tesi triennale in Informatica a UniPD☆27Sep 18, 2025Updated 11 months ago
- While language static analyzer☆10Oct 13, 2020Updated 5 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated 2 years ago
- A super sus AI app to order Sushi with AI and Blockchain and Cryptography☆12Apr 6, 2024Updated 2 years ago
- A simple Thesis template for the Bachelor's Degree in Computer Science @Unipadova☆26Feb 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.
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated last year
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated last year
- A twitter UnFollower finder webextension☆10Mar 2, 2021Updated 5 years ago
- A modern functional shell and a programming language☆10Nov 27, 2024Updated last year
- To help download music independently or from your exported apple music library.☆17Jan 29, 2025Updated last year
- digit grouping and conversion to formal spoken format for Farsi numbers☆15Feb 22, 2024Updated 2 years ago
- workaround for AirPod disconnection☆20Apr 22, 2023Updated 3 years ago
- https://atom.io/☆12Jun 22, 2015Updated 11 years ago
- My Notes on Deep Learning 💫☆15Nov 15, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 倪海厦官网☆11Oct 27, 2023Updated 2 years ago
- Toolkit per il corso di Cybersecurity presso l'Università degli Studi Padova☆13Oct 14, 2022Updated 3 years ago
- Repository of the Keybee Keyboard android application currently live on Google Play Store.☆51Sep 29, 2025Updated 11 months ago
- An oper source lighting software, for control your lights over DMX512☆18Oct 13, 2020Updated 5 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- A Node module for converting text to Braille alphabet.☆24Oct 2, 2019Updated 6 years ago
- General-purpouse camera capture plugin for data streaming to napari☆26Mar 18, 2024Updated 2 years ago
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- An interactive Agda tutorial☆26Jul 15, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Java Telegram Bot API☆17Apr 2, 2024Updated 2 years ago
- 👩🏿💻👨🏾💻👩🏼💻👨🏽💻👩🏻💻中国独立开发者项目列表 -- 分享大家都在做什么☆11Updated this week
- This Python package implements an extension to the k-means clustering algorithm for use with missing data.☆13Jun 27, 2020Updated 6 years ago
- A Decision Support System (DSS) based on the Graph Model for Conflict Resolution (GMCR).☆16Apr 4, 2020Updated 6 years ago
- Lisp interpreter with bytecode compiler☆33Jan 7, 2021Updated 5 years ago
- QRFuzz, a fuzzing toolkit to test malicious QR Codes in mobile applications☆48May 16, 2024Updated 2 years ago
- cabal in Valle☆43May 31, 2021Updated 5 years ago
- Agda as a collaborative multiplayer game☆40Apr 24, 2026Updated 4 months ago
- Vim text objects for LaTeX code☆37Nov 14, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Material Design earthquakes☆41Apr 24, 2020Updated 6 years ago
- Postcat Kodee is a 3D game written in Kotlin, using the Godot/Kotlin JVM bindings.☆52May 27, 2024Updated 2 years ago
- Rough Set Python Package is a Python library that provides a set of tools to calculate rough sets and obtain reduct rules.☆15Mar 30, 2024Updated 2 years ago
- Linux driver for Realtek network chips with enabled ASPM☆32Jul 17, 2019Updated 7 years ago
- 这是一份网络安全从业者自保指南。本项目整理了近年来中国大陆涉及《网络安全法》、《数据安全法》、《个人信息保护法》的违法违规事件。用于帮助网络运营者、网络安全从业者以及相关从业人员了解我国相关法律法规，避免在工作中触碰法律红线，做好自我保护。☆32May 11, 2023Updated 3 years ago
- Completed a responsive landing page for a business named Manage. Explore the modern and sleek design, showcasing my skills in front-end d…☆31Oct 29, 2023Updated 2 years ago
- MIT's abstract interpretation class taught by Cousot☆38Oct 13, 2014Updated 11 years ago