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☆69Updated 9 months ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- UCalgary version of forallx, an introduction to formal logic☆116Updated 3 weeks ago
- The classic C solver and tcl/tk frontend.☆25Updated 3 weeks ago
- Open Source Java Textbook☆19Updated 4 months ago
- Python tools for instructors working with GitHub Classroom☆91Updated 2 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆218Updated last month
- ☆16Updated last year
- The Beauty and Joy of Computing public resource repository.☆31Updated last year
- This project is designed to manage class attendance. It uses an OTP (One-Time Password) system to verify that students are present in cla…☆18Updated 2 months ago
- Official cloud backend and community site for the Snap! programming language☆60Updated last week
- Automatic assignment grading for instructor use in programming courses☆47Updated last year
- "A First Course in Linear Algebra" open source textbook☆69Updated 2 months ago
- Blackboard REST APIs... for humans?☆23Updated 3 years ago
- Source of metamath book☆52Updated 2 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated last month
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- Support for for students (Python)☆70Updated 2 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆307Updated this week
- 💡 WepSIM: Web Elemental Processor SIMulator 📱 💻 🖥️☆68Updated last week
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 6 months ago
- An RPG to Java transpiler☆40Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…☆15Updated last year
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- Public snapshots of "ACSL by Example"☆120Updated last week
- Course management front end for WeBWorK☆153Updated last week
- Intel 8051 microcontroller emulator☆17Updated 3 years ago
- Multiroom meeting app integrating web tools☆46Updated last year
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago