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:
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 10 months ago
- Scala+lift frontend for automatatutor.com☆10Updated 6 years ago
- A collection of tools to analyze student's Python source code☆31Updated 7 months ago
- AI-powered quiz generator☆27Updated 2 years ago
- Multiroom meeting app integrating web tools☆47Updated last year
- ☆16Updated 7 months ago
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- UCalgary version of forallx, an introduction to formal logic☆108Updated 2 weeks ago
- Course management front end for WeBWorK☆150Updated this week
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated 2 weeks ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆52Updated last year
- Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.☆26Updated 2 weeks ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆57Updated 5 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆210Updated 3 weeks ago
- ☆17Updated 2 years ago
- Python tools for instructors working with GitHub Classroom☆90Updated 2 years ago
- The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.☆164Updated this week
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Terminal CLI to Mathics3☆59Updated 5 months ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Online BDD Simulation Tool☆19Updated last week
- The classic C solver and tcl/tk frontend.☆25Updated last month
- ☆12Updated 3 years ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- PRolog Equation Solving System☆30Updated 8 years ago
- js-parsons - a JavaScript library for creating Parson's problems; language independent, with additional support for Python code☆96Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago