ChrisMayfield / cspogilLinks
POGIL activities for computer science
☆24Updated 2 years ago
Alternatives and similar repositories for cspogil
Users that are interested in cspogil are comparing it to the libraries listed below
Sorting:
- Python tools for instructors working with GitHub Classroom☆89Updated 2 years ago
- Scala+lift frontend for automatatutor.com☆10Updated 6 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆56Updated 5 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Code for Swampy, a set of modules used in Think Python, first edition☆92Updated 5 years ago
- ☆14Updated 5 years ago
- Open Source Java Textbook☆16Updated 9 months ago
- Website for serving Pyret to folks.☆25Updated last week
- A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.☆46Updated 4 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆45Updated last week
- Packaging of the Runestone tools for publishing educational materials using github pages☆103Updated 2 years ago
- Tim Button's open textbook on set theory☆37Updated last year
- Java bindings for LLVM libraries☆8Updated 3 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- 07-131 lab distribution☆16Updated 6 months ago
- A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics☆210Updated last month
- Course management front end for WeBWorK☆150Updated this week
- Problem rendering engine for WeBWorK☆47Updated this week
- ☆10Updated last month
- Open Source Precollege Algebra Textbook☆20Updated last month
- A linux app for sending and recieving data from a casio calculator☆13Updated 3 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- Snap to JavaScript Compiler☆16Updated 2 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- A library for grading Java assignments☆26Updated last year