Alternatives and similar repositories for cspogil

Users that are interested in cspogil are comparing it to the libraries listed below

• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆31Updated last month
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 months ago
• openwebwork / webwork2
  Course management front end for WeBWorK
  ☆153Updated 2 weeks ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 3 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 6 months ago
• TheAliceProject / alice3
  The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.
  ☆164Updated this week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆298Updated this week
• BMouradov / pCubes
  ☆17Updated 2 years ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆48Updated last year
• rosewang01 / rustkit-learn
  ☆16Updated 10 months ago
• AutomataTutor / automatatutor-frontend
  Scala+lift frontend for automatatutor.com
  ☆10Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 4 months ago
• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆36Updated 2 years ago
• GamesCrafters / GamesmanClassic
  The classic C solver and tcl/tk frontend.
  ☆25Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated this week
• ancyrweb / jcc
  C Compiler written in Kotlin
  ☆13Updated last year
• bhoffman0 / CSAwesome
  This is the CSAwesome curriculum Runestone repo for the AP CS A Java Course
  ☆29Updated 3 weeks ago
• wepsim / wepsim
  WepSIM: Web Elemental Processor SIMulator
  ☆69Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆33Updated last year
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆26Updated 2 years ago
• edpegg / CutTheKnot-Java
  Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny
  ☆27Updated 5 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last month
• jurisk / advent-of-code
  ☆12Updated 2 months ago