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
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆16Jan 28, 2026Updated 6 months ago
- ☆13Aug 14, 2018Updated 7 years ago
- A rust library for converting between UTF-8, UTF-16 and UTF-32 characters.☆13Jul 5, 2024Updated 2 years ago
- Ansible playbook for managing UseGalaxy.eu infrastructure.☆25Updated this week
- 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.
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years 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 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- 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
- ☆12Mar 3, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- UseGalaxy.EU website (compiled version https://github.com/usegalaxy-eu/usegalaxy-eu.github.io)☆22Jul 30, 2026Updated last week
- Alfred workflow to query and execute TextExpander snippets☆12Sep 22, 2015Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple spdy server I wrote.☆15Oct 6, 2013Updated 12 years ago
- A program for fast and accurate genome-guided transcripts reconstruction and quantification from RNA-seq (Supporting Pacbio single-end)☆25Apr 21, 2021Updated 5 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 3 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 6 months ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 3 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Optix7 experiments☆10Oct 20, 2019Updated 6 years ago
- Material for the DataLucence:Images course☆10Jun 14, 2017Updated 9 years ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated 2 years ago
- A method for evaluating the high-level coherence of machine-generated texts. Identifies high-level coherence issues in transformer-based …☆12Mar 18, 2023Updated 3 years ago
- Jupyter Notebooks for interactive review and annotation of audio files☆16Jan 7, 2026Updated 7 months ago
- Content for https://slides.dornea.nu☆12Jan 17, 2024Updated 2 years ago
- variant type for CUDA☆12Nov 14, 2015Updated 10 years ago
- A simple comment CSS for linking in R markdown☆11Dec 8, 2018Updated 7 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.
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Slightly more than yet another dotfile manager.☆25Nov 12, 2024Updated last year
- Visualization methods for omics dataset quality control☆10Jun 24, 2026Updated last month
- ☆10Apr 2, 2018Updated 8 years ago
- Materials and Jekyll website for the Wednesday software working group.☆10Feb 17, 2017Updated 9 years ago
- rOpenSci .github files☆10Jul 29, 2019Updated 7 years ago
- CPUs☆16Jan 22, 2025Updated last year