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☆15Mar 9, 2026Updated 3 weeks ago
- Home is where the dotfiles are.☆11Apr 29, 2025Updated 11 months ago
- Notes on P-omega☆14Jul 11, 2017Updated 8 years ago
- Course: Algorithms for Data Science☆16Feb 7, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Jul 13, 2022Updated 3 years ago
- Oh My ZSH Kustomize Plugin☆15May 28, 2025Updated 10 months ago
- This repository contains the core model we called "Collaborative filtering enhanced Content-based Filtering" published in our UMUAI artic…☆12Apr 3, 2019Updated 6 years ago
- Run Gitpod on your local machine☆11Jun 20, 2022Updated 3 years ago
- A Kong secrets backend for Vault☆11Sep 18, 2019Updated 6 years ago
- Support & Utilities container Images built and used by SIGHUP☆11Mar 24, 2026Updated last week
- Takes a software bill of materials and outputs provenance, and activity data from trustypkg.dev☆10May 19, 2025Updated 10 months ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Keras Implementation of major CNN architectures☆15Jul 3, 2018Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 2020 course on Online learning☆25Mar 10, 2020Updated 6 years ago
- Java implementation of a Distributed Hash Table.☆16Jul 13, 2018Updated 7 years ago
- A crossplane function that runs cue scripts that adhere to a specific interface☆12Apr 27, 2024Updated last year
- Using Ansible and Nginx to programmatically obtain Let's Encrypt SSL certificates☆12Oct 22, 2019Updated 6 years ago
- Patch attestation utility☆33Feb 13, 2026Updated last month
- AWS Module: additional components for EKS-based clusters on AWS☆14Feb 19, 2026Updated last month
- ☆11Apr 9, 2017Updated 8 years ago
- Logging Module: centralized logging for your Kubernetes Cluster☆16Feb 19, 2026Updated last month
- A @crossplane composition function that can create custom status conditions and events for claims and XRs☆20Mar 22, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A home of RSP-QL syntax and semantics discussion☆18Aug 22, 2016Updated 9 years ago
- Visual Studio Code extension for @upbound☆16Oct 10, 2024Updated 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 3 years ago
- Implementation of the POIS algorithm☆15Apr 9, 2019Updated 6 years ago
- furyctl is the SIGHUP Distribution cluster lifecycle manager☆37Mar 9, 2026Updated 3 weeks ago
- End to end integration testing for Crossplane Providers and Configurations☆19Mar 20, 2026Updated last week
- Scripts to benchmark PostgreSQL database server using pgbench and HammerDB.☆20Feb 17, 2020Updated 6 years ago
- KCL Website and Documentation Repo☆20Mar 23, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Home directory bootstrap☆20Aug 17, 2022Updated 3 years ago
- Do docker actions and Deploy gluster containers!☆105Nov 4, 2014Updated 11 years ago
- @crossplane Providers as a Function (PaaF)☆25Jul 28, 2021Updated 4 years ago
- 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
- 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.☆20Oct 5, 2022Updated 3 years ago