ChrisMayfield / cspogilLinks
POGIL activities for computer science
☆24Updated 3 years ago
Alternatives and similar repositories for cspogil
Users that are interested in cspogil are comparing it to the libraries listed below
Sorting:
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Tim Button's open textbook on set theory☆39Updated last month
- Python tools for instructors working with GitHub Classroom☆90Updated 2 years ago
- ☆16Updated 8 months ago
- UCalgary version of forallx, an introduction to formal logic☆108Updated last month
- Support for for students (Python)☆65Updated 2 months ago
- Online BDD Simulation Tool☆20Updated 2 weeks ago
- Type checking ifdef variability☆78Updated 3 years ago
- Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.☆26Updated this week
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated last month
- Static Analyzer and Verifier☆48Updated 10 months ago
- a version control system for school environments and Snap! using Django and Cytoscape.js☆16Updated 5 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 11 months ago
- Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny☆27Updated 4 years ago
- AI-powered quiz generator☆27Updated 2 years ago
- Course management front end for WeBWorK☆151Updated 3 weeks ago
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated this week
- C Compiler written in Kotlin☆13Updated last year
- Execute and document benchmarks reproducibly.☆92Updated last month
- Gamification of Mutation Testing☆43Updated 3 weeks ago
- The Beauty and Joy of Computing public resource repository.☆31Updated last year
- Multiroom meeting app integrating web tools☆48Updated last year
- A bignum library for C.☆33Updated last year
- This is an HTML/Javascript CPU simulator and assembler for the CPU I designed. Originally, I created this CPU on paper many years ago for…☆31Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 3 weeks ago
- Object-Oriented Reengineering Patterns☆36Updated 2 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Terminal CLI to Mathics3☆59Updated this week
- Quipu Programming Language☆20Updated 12 years ago
- WepSIM: Web Elemental Processor SIMulator☆68Updated 4 months ago