ChrisMayfield / cspogil
POGIL activities for computer science
☆23Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cspogil
- Examples of autograders for running on Gradescope☆82Updated 3 months ago
- Scala+lift frontend for automatatutor.com☆10Updated 5 years ago
- A library for grading Java assignments☆26Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- This is the CSAwesome curriculum Runestone repo for the AP CS A Java Course☆28Updated this week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 3 years ago
- Tim Button's Cambridge version of forallx☆11Updated 6 years ago
- UCalgary version of forallx, an introduction to formal logic☆95Updated 3 weeks ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Python tools for instructors working with GitHub Classroom☆90Updated last year
- Textbook on Gödel's incompleteness theorems and computability theory☆16Updated 3 years ago
- A command line version of the AQUSA tool☆12Updated 3 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.☆23Updated this week
- Official cloud backend and community site for the Snap! programming language☆52Updated this week
- Open Source Java Textbook☆14Updated 2 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆268Updated this week
- Type checking ifdef variability☆76Updated 3 years ago
- Support for for students (Python)☆57Updated this week
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- A JupyterHub authenticator for LTI☆68Updated 2 weeks ago
- ☆16Updated last year
- a version control system for school environments and Snap! using Django and Cytoscape.js☆15Updated last year
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆51Updated 5 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- ☆10Updated 9 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆16Updated 7 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year