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:
- Gradle-based Java AutoGrader☆12Jan 9, 2023Updated 3 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- 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
- ☆12May 8, 2017Updated 9 years ago
- Haskell-like STM for Swift☆45Dec 29, 2015Updated 10 years 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 open games☆13Apr 20, 2016Updated 10 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Template structure for a new paper written in Latex, including advice on how to write each section and format various aspects like figure…☆17Mar 9, 2026Updated 3 months ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- ☆12Mar 24, 2023Updated 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
- Reimplementation of graph neural network based generation model, HDMapGen☆20Jul 23, 2024Updated last year
- 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.
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 10 years ago
- Script to calculate the normalized compression distance of sets of files. It also tries to parallize the work over the available processo…☆18Apr 13, 2015Updated 11 years ago
- A Mongo-based version of Heimdall (Deprecated)☆11May 1, 2019Updated 7 years ago
- Using irace from Python☆11Aug 4, 2023Updated 2 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Vision Zero TO Challenge Datasets☆14Oct 10, 2018Updated 7 years ago
- A planning interface based on CommonRoad which integrates into the Autoware.Universe software stack☆18Apr 29, 2025Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 4 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.
- 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
- MoonLight: a light-weight framework for runtime monitoring.☆21Jan 25, 2026Updated 4 months ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- 📝 Preview Asciidoctor in real-time with neovim/Vim.☆10Dec 19, 2023Updated 2 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Feb 28, 2021Updated 5 years ago
- ☆14Sep 5, 2019Updated 6 years ago
- Semantic spaces in python☆14Jul 6, 2023Updated 2 years ago
- Static code analysis tool for detecting recurring patterns in Scratch projects.☆36Mar 7, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Oct 11, 2022Updated 3 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- Exercise 1 of the Robotics control course at University of Pisa☆27Jun 22, 2020Updated 5 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Programming Languages Grammar House (BNF like grammars)☆33May 4, 2026Updated last month
- Hierarchical Delta Debugging Framework☆60Nov 23, 2025Updated 6 months ago
- Benchmarking algebraic effect handler implementations☆28Jun 6, 2021Updated 5 years ago