A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.
☆50Sep 28, 2020Updated 5 years ago
Alternatives and similar repositories for github-classroom-utilties
Users that are interested in github-classroom-utilties are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python tools for instructors working with GitHub Classroom☆91Apr 22, 2023Updated 3 years ago
- Activates Travis-CI builds for all repos in a given GitHub project☆21Sep 7, 2017Updated 8 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆12Nov 29, 2024Updated last year
- Pytorch official implementation for Imitating Unknown Policies via Exploration.☆14Oct 3, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 4 years ago
- STRIPS benchmarks for classical planning☆15Mar 29, 2022Updated 4 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- Convert CSV to iCal ics format for uploading into Microsoft Outlook☆14Mar 20, 2021Updated 5 years ago
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 4 months ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- example to create python and R bindings for C++ library via CMake☆11Sep 16, 2021Updated 4 years ago
- ☆19Apr 15, 2026Updated 3 months ago
- Total-order Forward Decomposition Algorithm: HTN Planning☆15May 11, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Materials for teaching Python to Elementary students☆16Oct 22, 2010Updated 15 years ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆15Sep 21, 2025Updated 10 months ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- GitHub Classroom autograding example repo with C++ and Catch.☆13Dec 5, 2022Updated 3 years ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Nov 24, 2017Updated 8 years ago
- Book code for Testing in Scala on O'Reilly☆14May 29, 2014Updated 12 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- ☆15Oct 11, 2023Updated 2 years ago
- Human model using moveit with 32DOF URDF model☆16Aug 23, 2019Updated 6 years ago
- Synthetic data for SQL databases☆12Jan 30, 2026Updated 5 months ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Reinforcement learning approach to the prisoner's dilemma, based on Q learning☆13Dec 1, 2017Updated 8 years ago
- Notes for Emacs SF meetups☆35Feb 3, 2025Updated last year
- University of Aberdeen HPC Cluster User Guides☆20Sep 3, 2024Updated last year
- 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.
- K* search based implementation of top-k and top-quality planners☆19Apr 1, 2026Updated 3 months ago
- ☆14Jan 13, 2023Updated 3 years ago
- Set of files to create a latex document from orgmode☆36Jul 16, 2024Updated 2 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- How to create an R package☆25Aug 17, 2018Updated 7 years ago
- Alfred workflow to query and execute TextExpander snippets☆12Sep 22, 2015Updated 10 years ago