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☆68Updated 8 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Updated 5 months ago
- Type checking ifdef variability☆79Updated 4 years ago
- Object-Oriented Reengineering Patterns☆37Updated 2 years ago
- Intel 8051 microcontroller emulator☆17Updated 3 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- Open Source Precollege Algebra Textbook☆22Updated 4 months ago
- Execute and document benchmarks reproducibly.☆96Updated 5 months ago
- An RPG to Java transpiler☆40Updated last year
- The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.☆169Updated this week
- C Compiler written in Kotlin☆13Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆57Updated 3 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 3 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 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 3 years ago
- Static Analyzer and Verifier☆51Updated last year
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- Python tools for instructors working with GitHub Classroom☆91Updated 2 years ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆54Updated last year
- A curated list of my GitHub stars!☆20Updated last week
- Scala+lift frontend for automatatutor.com☆10Updated 6 years ago
- A web-based programming exercise system.☆72Updated 9 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Programming Language Explorations☆102Updated this week
- ☆10Updated 10 years ago
- A bignum library for C.☆33Updated last year
- Terminal CLI to Mathics3☆60Updated 3 months ago