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:
- Getting started guides to deploy the SIGHUP Distribution (SD) in different environments☆15Jul 14, 2026Updated last week
- Oh My ZSH Kustomize Plugin☆15May 28, 2025Updated last year
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- A Kong secrets backend for Vault☆11Sep 18, 2019Updated 6 years ago
- Support & Utilities container Images built and used by SIGHUP☆11Jul 3, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Using Ansible and Nginx to programmatically obtain Let's Encrypt SSL certificates☆12Oct 22, 2019Updated 6 years ago
- AWS Module: additional components for EKS-based clusters on AWS☆14Jul 7, 2026Updated 2 weeks ago
- Takes a software bill of materials and outputs provenance, and activity data from trustypkg.dev☆11May 19, 2025Updated last year
- A @crossplane composition function that can create custom status conditions and events for claims and XRs☆20Updated this week
- furyctl is the SIGHUP Distribution cluster lifecycle manager☆38Updated this week
- Visual Studio Code extension for @upbound☆16Oct 10, 2024Updated last year
- ciclops (CI-clops) is a GitHub Action that summarizes the result of a Test Suite executed in a series of "strategy matrix" branches, and …☆16Updated this week
- Edge Java Callout eiDAS parser to facilitate work with PSD2 X509 certificates.☆13May 20, 2022Updated 4 years ago
- Scan for workflow runs that are impacted by trivy action compromise☆21Mar 20, 2026Updated 4 months 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.
- The CLI for Crossplane☆16Updated this week
- KCL Website and Documentation Repo☆21Apr 14, 2026Updated 3 months ago
- Operand images for CloudNativePG containing PgBouncer☆18Updated this week
- SBOMVert is an observability tool for SBOMs and CVE reports☆21Jul 7, 2026Updated 2 weeks ago
- Agent-native code security review with MCP, structured findings, and practical pre-merge scanning workflows.☆22Apr 2, 2026Updated 3 months ago
- @crossplane Providers as a Function (PaaF)☆25Jul 28, 2021Updated 4 years ago
- A vcluster plugin that syncs crds to the host cluster☆20Feb 5, 2025Updated last year
- A Flask Based Web Application which is used to detect the phishing URL's.☆11Nov 27, 2019Updated 6 years ago
- a secret store for AI agents with one rule: the agent never sees the plaintext. get a secret once into the OS keychain, then inject it in…☆17Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A function building the environment from EnvironmentConfigs☆25Updated this week
- This utility implements a software power meter using RAPL☆21Oct 17, 2016Updated 9 years ago
- ☆18Jul 13, 2026Updated last week
- ☆27Aug 31, 2022Updated 3 years ago
- Experimental Linux strace LLM agent☆20Apr 23, 2026Updated 2 months ago
- UniSBOM is a tool to build a software bill of materials on any platform with a unified data format.☆37Sep 4, 2022Updated 3 years ago
- A kubectl plugin for watching resources and generating diffs.☆30Sep 27, 2025Updated 9 months ago
- A github action to ensure your current gitlog respect the conventional commit specification☆41Mar 4, 2026Updated 4 months ago
- Kong Developer Portal CLI☆26Nov 15, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Hoppr Cop is a cli and python library that generates high quality vulnerability information from a cyclone-dx Software Bill of Materials …☆25Dec 16, 2024Updated last year
- KCL Programming Language Command Line Interface (CLI).☆37Updated this week
- The Go SDK for composition functions☆36Updated this week
- A kubernetes operator to manage AWS IAM resources needed for IRSA directly from the cluster itself☆24Sep 19, 2022Updated 3 years ago
- AI-powered meeting assistant with real-time transcription and diarization☆22Feb 20, 2026Updated 5 months ago
- ☆32Updated this week
- Hasselhoff will teach your colleagues to lock their computer when they are away.☆63Feb 9, 2022Updated 4 years ago