Exercises for course "Principles of Programming Languages" @ Polimi '23, '24, '25
☆33Nov 21, 2025Updated 4 months ago
Alternatives and similar repositories for ppl
Users that are interested in ppl 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 with the material of the Tower of Hanoi introductory briefings on binary exploitation☆24Dec 11, 2015Updated 10 years ago
- Hours wasted Hyprland dotfiles☆21Nov 26, 2024Updated last year
- An iOS / macOS Swift Package for Rendering Markdown and LaTeX in a WebView☆36Mar 14, 2026Updated 3 weeks ago
- Beamer port of the official PoliMi presentation theme.☆45Jun 17, 2019Updated 6 years ago
- Display LaTeX using SwiftUI & LaTeX DSL☆17Oct 27, 2025Updated 5 months ago
- 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.
- Real-Time Intrusion Detection and Prevention with Neural Network in Kernel using eBPF☆24Apr 9, 2024Updated 2 years ago
- 🙌 UI showing video trim 👍☆21May 12, 2024Updated last year
- Non-official implementation of Kitsune: An Ensemble of Autoencoders for Online Network Intrusion Detection☆24Jun 8, 2022Updated 3 years ago
- A chess app built using SwiftUI, Core Data, and SpriteKit☆23Jan 12, 2024Updated 2 years ago
- VM for the SDN class at Polimi☆19Feb 24, 2026Updated last month
- A new manga reading app for iOS, iPadOS, macOS☆12Apr 9, 2023Updated 3 years ago
- ♟️ Swift package for implementing chess logic☆45Nov 12, 2025Updated 5 months ago
- ♟️🤖 Swift package for UCI chess engines☆39Sep 16, 2025Updated 6 months ago
- A resource list for aspiring student applying for Swift Student Challenge☆43Nov 29, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆44Dec 15, 2020Updated 5 years ago
- Extend the capability for async operations.☆59Jan 1, 2026Updated 3 months ago
- macOS, iOS and tvOS code syntax highlighter☆78Mar 29, 2026Updated 2 weeks ago
- What is a good Mac app icon?☆65Jun 7, 2024Updated last year
- MemojiView is simple view to retrieve and display user Memoji, Emoji, or text as images.☆60May 1, 2025Updated 11 months ago
- Control Daikin Air Conditioner via HomeKit☆67Jan 17, 2026Updated 2 months ago
- Bringing LaTeX to Sketch!☆73Jan 6, 2023Updated 3 years ago
- Student submissions for the WWDC 2025 - Swift Student Challenge☆77Feb 17, 2026Updated last month
- A frontend in GTK 4 and Libadwaita for Albius.☆83Dec 20, 2025Updated 3 months ago
- 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.
- ☆83Jan 10, 2025Updated last year
- Clone of the official Apple AirPods Pro website built using HTML, CSS, JavaScript with GSAP and ScrollMagic.☆86Jun 29, 2022Updated 3 years ago
- Easy Grids with SwiftUI☆125May 14, 2025Updated 10 months ago
- 🕵️♂️ An elegant SwiftUI Form builder to create a searchable Settings and DebugMenu screens for iOS.☆125Mar 24, 2023Updated 3 years ago
- Interactive notification pop-over (aka "Toast) modeled after the iOS AirPods and Apple Pencil indicator.☆123Dec 1, 2024Updated last year
- Circuit Pro — a Mac-native PCB design tool. Free for personal and commercial use.☆345Mar 27, 2026Updated 2 weeks ago
- Render and customize rich attributed text in SwiftUI☆573Jan 25, 2026Updated 2 months ago
- ⌨️ Add tools above your keyboard with iOS-like keyboard buttons.☆270Sep 2, 2025Updated 7 months ago
- Position content around the iPhone's notch or Dynamic Island.☆356Jan 29, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A comprehensive solution integrating SwiftUI + Observation + UserDefaults + iCloud Key-Value Store☆386Mar 3, 2026Updated last month
- Easy-to-use HStack that snaps to elements on scroll.☆266Apr 4, 2024Updated 2 years ago
- FBI, Open up ~/☆426Oct 9, 2024Updated last year
- SwiftUI library for handling onboarding☆352Mar 15, 2026Updated 3 weeks ago
- Show the confetti only when the user is having fun, and if not having fun, don't show it.☆309Apr 5, 2024Updated 2 years ago
- A SwiftUI view that renders LaTeX.☆355Apr 4, 2026Updated last week
- A GNOME👣 theme for Thunderbird📨☆392Apr 3, 2026Updated last week