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:
- This repository for the training on Kafka and Kafka Streams/KSQLDB☆14Sep 29, 2023Updated 2 years ago
- Getting started guides to deploy the SIGHUP Distribution (SD) in different environments☆15May 14, 2026Updated 3 weeks ago
- ☆14Oct 30, 2017Updated 8 years ago
- Oh My ZSH Kustomize Plugin☆15May 28, 2025Updated last year
- Run Gitpod on your local machine☆11Jun 20, 2022Updated 3 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.
- PDF extraction that checks its own work. #2 reading order accuracy — zero AI, zero GPU, zero cost.☆66May 22, 2026Updated 2 weeks ago
- Support & Utilities container Images built and used by SIGHUP☆11Apr 13, 2026Updated last month
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Takes a software bill of materials and outputs provenance, and activity data from trustypkg.dev☆11May 19, 2025Updated last year
- This is the version of PeARS for use in a federated context: admins create PeARS instances that users can join to contribute to the index…☆28May 16, 2026Updated 3 weeks ago
- Mia Platform Cli for Console☆22Jun 1, 2026Updated last week
- My emacs configuration files☆33Mar 25, 2025Updated last year
- A crossplane function that runs cue scripts that adhere to a specific interface☆12Apr 27, 2024Updated 2 years ago
- Using Ansible and Nginx to programmatically obtain Let's Encrypt SSL certificates☆12Oct 22, 2019Updated 6 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.
- Patch attestation utility☆35Apr 10, 2026Updated last month
- AWS Module: additional components for EKS-based clusters on AWS☆14Feb 19, 2026Updated 3 months ago
- ☆11Apr 9, 2017Updated 9 years ago
- A @crossplane composition function that can create custom status conditions and events for claims and XRs☆20Jun 2, 2026Updated last week
- A home of RSP-QL syntax and semantics discussion☆19Aug 22, 2016Updated 9 years ago
- Mia-Platform Community Page☆32May 9, 2025Updated last year
- Dropbox Status Icons for a HiDPI display☆12Sep 13, 2016Updated 9 years ago
- Edge Java Callout eiDAS parser to facilitate work with PSD2 X509 certificates.☆13May 20, 2022Updated 4 years ago
- furyctl is the SIGHUP Distribution cluster lifecycle manager☆37May 29, 2026Updated last week
- 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.
- A Flask Based Web Application which is used to detect the phishing URL's.☆11Nov 27, 2019Updated 6 years ago
- Library that allows you to define Mia-Platform custom plugins easily☆25May 20, 2026Updated 2 weeks ago
- Archive repository for the PeARS project. Please head over to https://github.com/PeARSearch/PeARS-orchard for the latest version.☆17Jun 10, 2017Updated 8 years ago
- Scripts to benchmark PostgreSQL database server using pgbench and HammerDB.☆20Feb 17, 2020Updated 6 years ago
- KCL Website and Documentation Repo☆21Apr 14, 2026Updated last month
- Do docker actions and Deploy gluster containers!☆105Nov 4, 2014Updated 11 years ago
- Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC☆46Aug 1, 2024Updated last year
- A lightweight python implementation of the bittorrent DHT☆88Dec 7, 2015Updated 10 years ago
- RDF storage and SPARQL processing on top of Apache Spark.☆21Oct 5, 2022Updated 3 years ago
- 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.
- A vcluster plugin that syncs crds to the host cluster☆20Feb 5, 2025Updated last year
- So that you don't have to write values.schema.json by hand from scratch for your Helm 3 charts.☆28Aug 24, 2024Updated last year
- 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
- ☆27Aug 31, 2022Updated 3 years ago
- A minimal TypeScript library with research informed prompt injection attacks.☆52Aug 31, 2025Updated 9 months ago
- A composition function that automatically detects when resources are ready☆33Jun 2, 2026Updated last week