ChrisMayfield / cspogil
POGIL activities for computer science
☆23Updated 2 years ago
Related projects: ⓘ
- A collection of tools to analyze student's Python source code☆29Updated last month
- UCalgary version of forallx, an introduction to formal logic☆90Updated 3 weeks ago
- Python tools for instructors working with GitHub Classroom☆88Updated last year
- Online Book for Fundamentals of Web Programming☆18Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆264Updated last week
- Foundations of Python Programming☆37Updated 5 months ago
- Course management front end for WeBWorK☆143Updated last week
- Scala+lift frontend for automatatutor.com☆10Updated 5 years ago
- Packaging of the Runestone tools for publishing educational materials using github pages☆101Updated last year
- Tim Button's open textbook on set theory☆30Updated 11 months ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆17Updated last week
- A New Monorepo structure for Runestone☆39Updated this week
- Applied Discrete Structures using PreTeXt☆41Updated this week
- js-parsons - a JavaScript library for creating Parson's problems; language independent, with additional support for Python code☆94Updated 3 years ago
- ☆14Updated 3 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆16Updated 3 years ago
- How to Think Like a Computer Scientist, Interactive Edition☆108Updated 3 weeks ago
- The online book Critically Conscious Computing: Methods for Secondary Education☆46Updated last week
- A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.☆44Updated 3 years ago
- ☆16Updated 3 years ago
- Open Source Java Textbook☆13Updated 3 weeks ago
- "A First Course in Linear Algebra" open source textbook☆64Updated 2 years ago
- A short book on teaching in the University of Washington Informatics undergraduate program.☆11Updated 6 months ago
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated last month
- Online version of coding handouts with blanks☆9Updated 4 years ago
- Blackboard REST APIs... for humans?☆21Updated last year
- Parallel cloud for Beetle Blocks, plus its sharing site☆20Updated 5 months ago
- Constructing automata with SAT solvers☆9Updated 5 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated last week