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
- simple tool to clone all repos in a project that share a common prefix☆17May 22, 2019Updated 7 years ago
- Create automatically marked exercises to teach git skills☆12Nov 22, 2019Updated 6 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
- 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.
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 4 years ago
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 8 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 6 months ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- SIADEX - An HTN planner with temporal, partial order planning☆15Apr 19, 2023Updated 3 years ago
- Total-order Forward Decomposition Algorithm: HTN Planning☆15May 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆18Sep 21, 2025Updated 11 months ago
- The INVAL plan validator, and other PDDL tools.☆23Dec 3, 2023Updated 2 years ago
- Advanced calculator with variables, functions and an easy to use UI☆11Oct 15, 2020Updated 5 years ago
- A Python Framework for Multi-Agent Programming with Machine Learning☆23Updated this week
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- ☆15Oct 11, 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.
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Class instances for Coq inductive types with little boilerplate☆27Jul 29, 2026Updated last month
- Syntax highlighting for Alda - a music programming language.☆13Sep 5, 2021Updated 4 years ago
- ☆17Nov 10, 2025Updated 9 months ago
- ☆14Jan 8, 2023Updated 3 years ago
- Notes for Emacs SF meetups☆35Feb 3, 2025Updated last year
- University of Aberdeen HPC Cluster User Guides☆21Sep 3, 2024Updated last year
- ☆14Jan 13, 2023Updated 3 years ago
- Modified Fetch Robotics environments from OpenAI gym☆11Nov 27, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- ☆64Oct 27, 2023Updated 2 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ICCV 2019 Tutorial: Global Optimization for Geometric Understanding with Provable Guarantees☆15Oct 20, 2022Updated 3 years ago
- ☆12Mar 3, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago