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 2 years ago
- Moss summarizer☆194Sep 1, 2022Updated 3 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months ago
- 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 with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 3 years ago
- Book code for Testing in Scala on O'Reilly☆14May 29, 2014Updated 11 years ago
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 4 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
- ☆17Nov 10, 2025Updated 5 months ago
- Total-order Forward Decomposition Algorithm: HTN Planning☆15May 11, 2021Updated 4 years ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- ☆11Jun 14, 2024Updated last year
- 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.
- ☆10Oct 11, 2022Updated 3 years ago
- ☆16Jan 30, 2023Updated 3 years ago
- The repository for the Code Review Open Platform (CROP)☆13Apr 29, 2018Updated 7 years ago
- Class instances for Coq inductive types with little boilerplate☆27Updated this week
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆44Dec 17, 2025Updated 3 months ago
- ☆15Oct 11, 2023Updated 2 years ago
- GitHub Classroom autograding example repo with C++ and Catch.☆13Dec 5, 2022Updated 3 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆86Mar 11, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆14Jan 13, 2023Updated 3 years ago
- Notes for Emacs SF meetups☆35Feb 3, 2025Updated last year
- Use a series of QR codes as waypoints to navigate the AWS DeepRacer around a custom path. Create your own custom path by placing the basi…☆15Jun 6, 2022Updated 3 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Paquete de R con herramientas para facilitar el proceso de acreditación en la ANECA☆22Mar 31, 2025Updated last year
- Dynatrace Platform JMX plugins☆14Nov 15, 2022Updated 3 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Alfred workflow to query and execute TextExpander snippets☆12Sep 22, 2015Updated 10 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 10 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.
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 2 years ago
- Static Analysis Framework for Android Hybrid Applications☆42Oct 13, 2020Updated 5 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 2 years ago
- LLM-powered typed-holes☆55May 2, 2025Updated 11 months ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- A mechanisation of Wasm in Rocq☆116Mar 30, 2026Updated last week
- A Simple Sparse Odometry Dense Mapping RGBD-Reconstruction☆13Jun 30, 2020Updated 5 years ago