☆10Jun 6, 2026Updated 4 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☆26Sep 18, 2025Updated last year
- A super sus AI app to order Sushi with AI and Blockchain and Cryptography☆12Apr 6, 2024Updated 2 years ago
- While language static analyzer☆10Oct 13, 2020Updated 6 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆21Apr 29, 2024Updated 2 years ago
- Toolkit per il corso di Cybersecurity presso l'Università degli Studi Padova☆13Oct 14, 2022Updated 4 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 Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- A simple Thesis template for the Bachelor's Degree in Computer Science @Unipadova☆25Feb 11, 2024Updated 2 years ago
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated last year
- A twitter UnFollower finder webextension☆10Mar 2, 2021Updated 5 years ago
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated last year
- Exercises for the Cybersecurity Principles & Practice @UNIPD☆23Jan 26, 2022Updated 4 years ago
- A modern functional shell and a programming language☆10Nov 27, 2024Updated last year
- digit grouping and conversion to formal spoken format for Farsi numbers☆15Feb 22, 2024Updated 2 years ago
- To help download music independently or from your exported apple music library.☆17Jan 29, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- workaround for AirPod disconnection☆20Apr 22, 2023Updated 3 years ago
- https://atom.io/☆12Jun 22, 2015Updated 11 years ago
- Deliver/present talks from PDFs - A simple PDF presenter oriented towards slideshow decks in PDF form☆11Jun 30, 2026Updated 4 months ago
- An oper source lighting software, for control your lights over DMX512☆18Oct 13, 2020Updated 6 years ago
- My Notes on Deep Learning 💫☆14Nov 15, 2020Updated 5 years ago
- Repository of the Keybee Keyboard android application currently live on Google Play Store.☆52Sep 29, 2025Updated last year
- A Node module for converting text to Braille alphabet.☆25Oct 2, 2019Updated 7 years ago
- ☆12Oct 2, 2021Updated 5 years ago
- A simple Typst CV template☆10Mar 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- Java Telegram Bot API☆19Apr 2, 2024Updated 2 years ago
- Repository containing various tag sources I have written☆10Apr 22, 2026Updated 6 months ago
- General-purpouse camera capture plugin for data streaming to napari☆26Mar 18, 2024Updated 2 years ago
- This Python package implements an extension to the k-means clustering algorithm for use with missing data.☆13Jun 27, 2020Updated 6 years ago
- An interactive Agda tutorial☆30Oct 25, 2026Updated last week
- 👩🏿💻👨🏾💻👩🏼💻👨🏽💻👩🏻💻中国独立开发者项目列表 -- 分享大家都在做什么☆10Sep 30, 2026Updated last month
- NodeJS API for temp-mail.org☆14Sep 19, 2021Updated 5 years ago
- Lisp interpreter with bytecode compiler☆33Jan 7, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- v1.0.1☆11May 19, 2022Updated 4 years ago
- cabal in Valle☆43May 31, 2021Updated 5 years ago
- A Decision Support System (DSS) based on the Graph Model for Conflict Resolution (GMCR).☆16Apr 4, 2020Updated 6 years ago
- QRFuzz, a fuzzing toolkit to test malicious QR Codes in mobile applications☆48May 16, 2024Updated 2 years ago
- Linux driver for Realtek network chips with enabled ASPM☆32Jul 17, 2019Updated 7 years ago
- MIT's abstract interpretation class taught by Cousot☆38Oct 13, 2014Updated 12 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 3 years ago