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
- Moss summarizer☆194Sep 1, 2022Updated 3 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 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.
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- A Python Framework for Multi-Agent Programming with Machine Learning☆20May 13, 2026Updated last week
- SIADEX - An HTN planner with temporal, partial order planning☆14Apr 19, 2023Updated 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
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- ☆11Jun 14, 2024Updated last year
- ☆15Oct 11, 2023Updated 2 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 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.
- Notes for Emacs SF meetups☆35Feb 3, 2025Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆93Mar 11, 2026Updated 2 months ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Set of files to create a latex document from orgmode☆36Jul 16, 2024Updated last year
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- Alfred workflow to query and execute TextExpander snippets☆12Sep 22, 2015Updated 10 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 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.
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 3 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 7 months ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 2 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 3 months ago
- A mechanisation of Wasm in Rocq☆119Mar 30, 2026Updated last month
- A Simple Sparse Odometry Dense Mapping RGBD-Reconstruction☆13Jun 30, 2020Updated 5 years ago
- Apply a custom theme to current Emacs buffer only☆10Feb 18, 2026Updated 3 months ago
- Material for the DataLucence:Images course☆10Jun 14, 2017Updated 8 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.
- Your AI-Powered Personal Finance Assistant☆33Jul 26, 2025Updated 9 months ago
- ☆12Oct 11, 2024Updated last year
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆14Feb 14, 2023Updated 3 years ago
- Optix7 experiments☆10Oct 20, 2019Updated 6 years ago
- Continuous administration of the Greene Lab's electronic scrum☆13Updated this week
- A simple comment CSS for linking in R markdown☆11Dec 8, 2018Updated 7 years ago