Python tools for instructors working with GitHub Classroom
☆91Apr 22, 2023Updated 3 years ago
Alternatives and similar repositories for github-classroom-utils
Users that are interested in github-classroom-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A GitHub Classroom CLI for teachers☆15Feb 12, 2026Updated 5 months ago
- Embeddings to Network Alignment - align biological networks between two species☆10Sep 8, 2023Updated 2 years ago
- Gradle-based Java AutoGrader☆12Jan 9, 2023Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 4 years ago
- GitHub Action to autograde projects based on a configurable set of metrics☆32Mar 20, 2026Updated 4 months ago
- AI Agents on 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.
- ☆12May 8, 2017Updated 9 years ago
- pre-release.☆12Jul 15, 2015Updated 11 years ago
- Automated Tool for Prioritizing JUnit Test Suites☆12Oct 5, 2022Updated 3 years ago
- An application that automatically tests and marks student code assignments in Algonquin College Graphic Design’s Web Dev courses.☆25Dec 8, 2022Updated 3 years ago
- Feature set algebra for linguistics☆17Jul 7, 2026Updated 2 weeks ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 11 years ago
- Fetch your (kid's) images from famly.co☆15Jun 18, 2026Updated last month
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- ETC☆15Aug 27, 2021Updated 4 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.
- Code evolution analysis for Git repositories☆19Nov 16, 2025Updated 8 months ago
- Get recipes instantly with this CLI tool. Choose specific meals or ingredients to cater to your appetite!☆12Aug 24, 2021Updated 4 years ago
- Seismic array processing☆11Jan 6, 2025Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 5 years ago
- Toolkit to deploy many z2jh based JupyterHubs☆18Updated this week
- An in-development lookatme extension that uses ueberzug and urwid_ueberzogen to add image rendering support☆16Oct 2, 2022Updated 3 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Feb 28, 2021Updated 5 years ago
- ☆15Jul 4, 2020Updated 6 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Instapaper API wrapper for iOS and Mac OS☆17Feb 21, 2011Updated 15 years ago
- A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.☆26Jul 30, 2024Updated last year
- Hierarchical Delta Debugging Framework☆61Nov 23, 2025Updated 8 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- Jupyter book showing how to build an ML powered book genre classifier☆13Oct 16, 2024Updated last year
- ☆11Sep 10, 2021Updated 4 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- SIMDized check which bytes are in a set☆31Oct 21, 2018Updated 7 years ago
- Exercise 1 of the Robotics control course at University of Pisa☆27Jun 22, 2020Updated 6 years ago
- Learning Ontologies Via Embeddings☆12Jul 6, 2023Updated 3 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- documentation for things like relations and parts of speech used by wordnets☆15Jun 18, 2024Updated 2 years ago
- Developer-friendly event sourcing and CQRS.☆15Jan 19, 2022Updated 4 years ago
- Code and data from semantic feature generation with GPT-3☆17Sep 10, 2023Updated 2 years ago