ccannon94 / github-classroom-utiltiesLinks
A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.
☆49Updated 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☆91Updated 2 years ago
- Moss summarizer☆194Updated 3 years ago
- ☆68Updated 8 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆69Updated 2 years ago
- Software Engineering for AI/ML -- An Annotated Bibliography☆334Updated last year
- Examples of autograders for running on Gradescope☆88Updated last year
- Improved Lecture Notes in Computer Science (LNCS) template☆266Updated last month
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆142Updated this week
- CS Graduate Job Guide☆33Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- An interactive introduction to LaTeX using Overleaf.☆237Updated last year
- Activates Travis-CI builds for all repos in a given GitHub project☆21Updated 8 years ago
- A simple plagiarism detection tool for python code☆189Updated 2 years ago
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 3 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Coauthor supercollaboration/discussion forum☆268Updated 2 weeks ago
- probabilistic programming for PL folks☆160Updated 4 years ago
- ☆48Updated 9 years ago
- @logicbot@mathstodon.xyz☆21Updated 2 years ago
- check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like☆593Updated 7 years ago
- ☆107Updated 2 years ago
- ☆14Updated 4 years ago
- ☆10Updated 11 years ago
- Program Synthesis Course☆265Updated last year
- The Third Bit website☆20Updated last week
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- A clean, simple and extensible template for presentations. Supports XeTeX and Beamer.☆216Updated 5 years ago
- Notes on writing☆544Updated 3 years ago