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☆14Feb 12, 2026Updated 4 months ago
- This is a shell script that will clone multiple repositories. The intended usage is for GitHub Classroom to be able to clone all repos o…☆30Feb 14, 2018Updated 8 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
- print all the the "push" times for commits to GitHub☆16May 22, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12May 8, 2017Updated 9 years ago
- ☆24Oct 26, 2016Updated 9 years ago
- Haskell-like STM for Swift☆45Dec 29, 2015Updated 10 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Feature set algebra for linguistics☆17Jan 19, 2026Updated 5 months 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.
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Example use of GitHub Actions with OCaml☆35Jun 22, 2026Updated last week
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 5 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Infrastructure to autograde Racket code on Gradescope☆17Feb 4, 2025Updated last year
- MoonLight: a light-weight framework for runtime monitoring.☆21Jan 25, 2026Updated 5 months ago
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 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.
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- ☆16Mar 5, 2018Updated 8 years ago
- Library for the Zotero API☆17Jan 15, 2024Updated 2 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Feb 28, 2021Updated 5 years ago
- Audits GitHub repositories to highlight data that cannot be automatically migrated using GitHub's migration tools☆17Nov 18, 2025Updated 7 months ago
- A simple NodeJS activity stream engine built with express, connect, socket.io, redis and mongodb☆49Jul 28, 2013Updated 12 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- collection of my dotfiles☆29Jun 24, 2026Updated last week
- [COLING 2022]: CommunityLM: Probing Partisan Worldviews from Language Models☆14Jan 31, 2023Updated 3 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.
- 📢 Publish your GitHub Action☆11Feb 11, 2024Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Hierarchical Delta Debugging Framework☆61Nov 23, 2025Updated 7 months ago
- Benchmarking algebraic effect handler implementations☆28Jun 6, 2021Updated 5 years ago
- Class instances for Coq inductive types with little boilerplate☆27May 7, 2026Updated last month
- Post-Migration Audit (PMA) Extension For GitHub CLI☆12Jul 26, 2023Updated 2 years ago
- Demonstrates how to use the Asciidoctor publication pipeline☆12Dec 31, 2022Updated 3 years ago