This repository contains the material related to the practical classes of the course Principles of Programming Languages
☆29Jan 16, 2019Updated 7 years 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:
- ☆13Nov 29, 2015Updated 10 years ago
- Cuelang Integration for Crossplane's Composition Function☆10Apr 22, 2024Updated 2 years ago
- OpenContainer tool set☆12Oct 11, 2016Updated 10 years ago
- Virtual machine + repository of typical memory errors for teaching computer security courses.☆29May 8, 2016Updated 10 years ago
- A bundle to add defaluts argument to the symfony2 console☆11Dec 19, 2013Updated 12 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.
- Sandbox for Cloud Native PostgreSQL in Kubernetes environments☆10Dec 2, 2022Updated 3 years ago
- Local-first OSINT investigation workbench for Firefox & Chrome. IoC detect, playbooks, cases — no API keys by default. MIT.☆16Oct 13, 2026Updated 2 weeks ago
- ☆11Apr 9, 2017Updated 9 years ago
- Docker Volume Driver for distributed k/v stores☆11Feb 9, 2016Updated 10 years ago
- Fuck PS3 we haz Space Invaders!☆35Feb 28, 2019Updated 7 years ago
- Grunt plugin to run Symfony2 commands.☆10Feb 24, 2016Updated 10 years ago
- Engineered to help red teams and penetration testers exploit large language model AI solutions vulnerabilities.☆10Jun 24, 2025Updated last year
- Mutex for debugging deadlocks☆12Jun 18, 2019Updated 7 years ago
- A crossplane function that runs cue scripts that adhere to a specific interface☆12Apr 27, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rosemary: Transparent network pivoting and tunneling over QUIC. Cross-platform, no TUN/TAP, no proxychains, no proxy settings.☆15Aug 3, 2026Updated 2 months ago
- Get information about containers' images w/o downloading them☆11Mar 7, 2016Updated 10 years ago
- Logging Module: centralized logging for your Kubernetes Cluster☆16Oct 15, 2026Updated 2 weeks ago
- Fast Expat based Erlang XML parsing library☆12Jul 20, 2016Updated 10 years ago
- ☆14Apr 5, 2012Updated 14 years ago
- Takes a software bill of materials and outputs provenance, and activity data from trustypkg.dev☆10May 19, 2025Updated last year
- Template Files for New OCI Projects☆20Oct 22, 2026Updated last week
- ciclops (CI-clops) is a GitHub Action that summarizes the result of a Test Suite executed in a series of \"strategy matrix\" branches, an…☆16Oct 22, 2026Updated last week
- Allows you to use the bitcoind service in a symfony2 project☆15Dec 11, 2014Updated 11 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.
- Microphone interface for Unity for use with the WebGL build target☆50Nov 11, 2024Updated last year
- Dropbox Status Icons for a HiDPI display☆12Sep 13, 2016Updated 10 years ago
- Just enough TLS sugar☆14May 2, 2015Updated 11 years ago
- Edge Java Callout eiDAS parser to facilitate work with PSD2 X509 certificates.☆13May 20, 2022Updated 4 years ago
- This project has merged into Kompose.☆14Sep 7, 2016Updated 10 years ago
- ☆12Aug 30, 2023Updated 3 years ago
- A @crossplane composition function that can create custom status conditions and events for claims and XRs☆20Oct 23, 2026Updated last week
- Agent skills to help with Continuous Threat Modeling☆21Jul 9, 2026Updated 3 months ago
- ☆13Mar 2, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [OUTDATED] Please switch to https://github.com/openSUSE/catatonit☆20Apr 7, 2019Updated 7 years ago
- The Docker Open Source journal☆15Feb 11, 2017Updated 9 years ago
- A php library to manage PATCH requests☆16Jul 22, 2025Updated last year
- Yeoman generator for Aura.js☆22Sep 5, 2013Updated 13 years ago
- CVE-2021-4034: Local Privilege Escalation in polkit's pkexec proof of concept☆36Jan 26, 2022Updated 4 years ago
- Scripts to benchmark PostgreSQL database server using pgbench and HammerDB.☆20Feb 17, 2020Updated 6 years ago
- Go wrapper for some OpenSSL functions in libcrypto☆21Feb 25, 2013Updated 13 years ago