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:
- Schildergenerator (Sign generator for event organizers)☆11Feb 12, 2019Updated 7 years ago
- At last, a FUSE filesystem for ILIAS at the KIT☆18Dec 8, 2022Updated 3 years ago
- A starter codebase for a Windrift game☆10Nov 20, 2021Updated 4 years ago
- BPELviz visualizes WS-BPEL 2.0 processes interactively with HTML5.☆17Mar 24, 2015Updated 11 years ago
- Hashicorp's Vault Terraform Managed Infrastructure Running on CoreOS☆10May 12, 2015Updated 11 years ago
- 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.
- ☆18Jun 7, 2026Updated 4 months ago
- ☆10Dec 14, 2016Updated 9 years ago
- Admin bot for Matrix.☆13Nov 2, 2020Updated 5 years ago
- Marvell Armada 38x U-Boot support☆10Mar 21, 2019Updated 7 years ago
- Anki Overdrive API for Python☆13Oct 21, 2017Updated 8 years ago
- A few simple examples of building XText projects with Maven☆21Sep 6, 2013Updated 13 years ago
- A bot designed to streamline the process of backporting pull requests or specific commits to older branches☆15Updated this week
- Ansible playbook for servers reboot in rolling manner☆11Mar 21, 2021Updated 5 years ago
- Qiita投稿用に作成した最適化アルゴリズムの実装コードです。☆14Jan 23, 2021Updated 5 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.
- Wrapper for DKPro Core to extract lingustic information from books.☆16Feb 26, 2022Updated 4 years ago
- Active Directory Domain Controller by samba4 on Alpine Linux☆17Jun 30, 2018Updated 8 years ago
- ☆15Mar 24, 2023Updated 3 years ago
- ☆11Aug 4, 2015Updated 11 years ago
- Analysis tool for Nextcloud logs files☆16May 26, 2025Updated last year
- Copy files faster in rust☆11Jun 11, 2018Updated 8 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- 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
- 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.
- Bash script to monitor borg backup with prometheus☆18Sep 30, 2025Updated last year
- Ghidra is a software reverse engineering (SRE) framework☆13Jan 2, 2025Updated last year
- This is a online information server with rest api based on esp8266 and Victron Solar MPPT Solar Charge Controller☆13Oct 23, 2024Updated last year
- Showcasing what can be done with Bastion☆26Nov 24, 2021Updated 4 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
- Elixir client for GraphQL☆10Jun 12, 2019Updated 7 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.
- SQL administration GUI☆17Dec 13, 2017Updated 8 years ago
- Spawn Go SDK☆12Apr 20, 2025Updated last year
- Provides support the MVVM pattern in WPF and/or WinForms applications, and additional utilities.☆10Sep 30, 2026Updated 2 weeks ago
- This repository holds the source code for https://kitctf.de/.☆10Aug 13, 2026Updated 2 months ago
- A Python-based security assessment tool for continuous automated security scanning and monitoring of domains.☆13Apr 4, 2025Updated last year
- Command line Teensy Loader☆11Sep 21, 2015Updated 11 years ago
- Clojure JSON-LD library☆28Aug 14, 2025Updated last year