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
Sorting:
- Python tools for instructors working with GitHub Classroom☆91Apr 22, 2023Updated 2 years ago
- Moss summarizer☆194Sep 1, 2022Updated 3 years ago
- Tree Health and Plant Biosecurity Initiative - Phytophthora ITS1 Classifier Tool☆10Updated this week
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 3 weeks ago
- ☆17Nov 10, 2025Updated 4 months ago
- Prosody XMPP server for Raspberry Pi☆15Sep 25, 2020Updated 5 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- A rust library for converting between UTF-8, UTF-16 and UTF-32 characters.☆13Jul 5, 2024Updated last year
- A `cargo generate` template for quick-starting a procedural macro crate☆16Oct 30, 2019Updated 6 years ago
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆43Dec 17, 2025Updated 3 months ago
- ☆15Oct 11, 2023Updated 2 years ago
- SINE annotation tool for plant genomes☆19Jan 21, 2024Updated 2 years ago
- Helper crate to write auto splitters for LiveSplit One's auto splitting runtime.☆13Mar 1, 2026Updated 2 weeks ago
- Rabbits Vs. Turtles is a 100% on-chain, dynamic & reactive, NFT Multiplayer game.☆11Dec 1, 2022Updated 3 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- A simple demo showing how to use Ably and fastAPI to route messages into Kafka for stream processing☆16Oct 12, 2021Updated 4 years ago
- ☆14Jan 8, 2023Updated 3 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆82Mar 11, 2026Updated last week
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Notes for Emacs SF meetups☆35Feb 3, 2025Updated last year
- Realtime voting app template Ably, Chart.js, Angular 10☆13Apr 20, 2023Updated 2 years ago
- Set of files to create a latex document from orgmode☆36Jul 16, 2024Updated last year
- Convert TODO comments into GitHub issues☆14Oct 12, 2021Updated 4 years ago
- Fully Homomorphic Encryption☆28Mar 18, 2023Updated 3 years ago
- algorithms and data structures implemented in rust☆19Aug 9, 2022Updated 3 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 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
- ICCV 2019 Tutorial: Global Optimization for Geometric Understanding with Provable Guarantees☆15Oct 20, 2022Updated 3 years ago
- Data and code for "Rise and Fall of Rationality in Language" by Marten Scheffer, Ingrid van de Leemput, Els Weinans, and Johan Bollen☆17Oct 27, 2021Updated 4 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
- A minimal metal application☆14Mar 24, 2021Updated 4 years ago
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 2 years ago
- A program for fast and accurate genome-guided transcripts reconstruction and quantification from RNA-seq (Supporting Pacbio single-end)☆24Apr 21, 2021Updated 4 years ago
- boilerplate code, scripts, modules, data for Introduction to Machine Learning with Python☆16Jan 4, 2019Updated 7 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 2 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated last month
- A mechanisation of Wasm in Rocq☆114Updated this week