quality control for programming assignments
☆47Nov 28, 2023Updated 2 years ago
Alternatives and similar repositories for Praktomat
Users that are interested in Praktomat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- At last, a FUSE filesystem for ILIAS at the KIT☆18Dec 8, 2022Updated 3 years ago
- pentabug☆26Jun 1, 2017Updated 9 years ago
- A starter codebase for a Windrift game☆10Nov 20, 2021Updated 4 years ago
- Flysystem adapter for the Nextcloud filesystem☆11Jul 15, 2026Updated 2 months ago
- Beispielprogramme zum Buch "Künstliche Intelligenz verstehen" von Pit Noack und Sophia Sanner (Rheinwerk Computing 2023)☆14Oct 25, 2023Updated 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.
- Hashicorp's Vault Terraform Managed Infrastructure Running on CoreOS☆10May 12, 2015Updated 11 years ago
- ☆10Dec 14, 2016Updated 9 years ago
- Hier entsteht eine einsteigerfreundliche Dokumentation für TTN in Ulm☆10Mar 24, 2019Updated 7 years ago
- HTSP client for python☆10Jan 28, 2022Updated 4 years ago
- ☆15Nov 17, 2015Updated 10 years ago
- A docker container hosting elasticsearch with ingest-attachment plugin enabled (compatible with NC fulltext search)☆12Feb 2, 2025Updated last year
- A cross-system data transformation language.☆13Jul 20, 2015Updated 11 years ago
- Gradle plugin to produce html, ebook, pdf using markdown and pandoc☆12Apr 19, 2019Updated 7 years ago
- This repo contain Google Rpc transaction example with discovery servers☆17Mar 12, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code used in "Jumpstarting the Raspberry Pi Zero W", from Make: Books; plus some extra programs just for fun.☆17Jul 2, 2020Updated 6 years ago
- ☆13Dec 8, 2023Updated 2 years ago
- Active Directory Domain Controller by samba4 on Alpine Linux☆17Jun 30, 2018Updated 8 years ago
- Yet Another Repetitive Rootkit☆10Jun 11, 2013Updated 13 years ago
- ☆18May 23, 2024Updated 2 years ago
- ☆15Mar 24, 2023Updated 3 years ago
- A zsh theme that matches the theme of Cmder, a popular terminal emulator for windows☆13Mar 5, 2022Updated 4 years ago
- Analysis tool for Nextcloud logs files☆16May 26, 2025Updated last year
- DEPRECATED! CSI Driver for Hetzner Cloud☆12Sep 17, 2019Updated 7 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.
- Meteor application demonstrating a paginated list component☆15Jan 31, 2015Updated 11 years ago
- Ecto extensions to support auditing data changes in your Schema.☆10Dec 4, 2017Updated 8 years ago
- Bash script to monitor borg backup with prometheus☆18Sep 30, 2025Updated 11 months ago
- An undead cleanup crew for your processes.☆13Dec 14, 2021Updated 4 years ago
- Source Code for 'Beginning LoRa Radio Networks with Arduino: Build Long Range, Low Power Wireless IoT Networks' by Pradeeka Seneviratne☆16Aug 13, 2019Updated 7 years ago
- Prometheus exporter for USB CO2 Monitors☆13Apr 27, 2023Updated 3 years ago
- Scripts to easily install an archlinux system from debian recovery (dedibox)☆11Jun 13, 2015Updated 11 years ago
- A higher order function to connect Meteor reactive data sources to React components.☆12Mar 7, 2016Updated 10 years ago
- Meteor package to rate-limit a function by queuing up calls (instead of dropping them like throttle or debounce)☆15Oct 29, 2014Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Elixir client for GraphQL☆10Jun 12, 2019Updated 7 years ago
- Spawn Go SDK☆12Apr 20, 2025Updated last year
- Proof of concept CoreDNS plugin that implements a block list☆24Oct 5, 2019Updated 6 years ago
- Sign up management for the language courses at the KIT Sprachenzentrum.☆12Sep 4, 2025Updated last year
- A Python-based security assessment tool for continuous automated security scanning and monitoring of domains.☆13Apr 4, 2025Updated last year
- A Chrome plugin for yanking clean markdown from website content☆23Feb 12, 2026Updated 7 months ago
- A standard and framework agnostic PHP library to facilitate the implementation of the WOPI protocol.☆15Jun 29, 2026Updated 2 months ago