Alternatives and similar repositories for cspogil:

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

• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 5 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 5 months ago
• daveagp / websheets
  Online version of coding handouts with blanks
  ☆9Updated 4 years ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆17Updated 3 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆100Updated 3 weeks ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆15Updated 5 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆27Updated last year
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• js-parsons / js-parsons
  js-parsons - a JavaScript library for creating Parson's problems; language independent, with additional support for Python code
  ☆95Updated 4 years ago
• PreTeXtBook / pretext-cli
  Command line interface for quickly creating, authoring, and building PreTeXt documents.
  ☆17Updated this week
• ram8647 / javajavajava
  Open Source Java Textbook
  ☆15Updated 5 months ago
• sillsdev / FieldWorks
  FieldWorks is a suite of software tools for language and cultural data, with support for complex scripts.
  ☆86Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• AutomataTutor / automatatutor-frontend
  Scala+lift frontend for automatatutor.com
  ☆10Updated 5 years ago
• codereport / Programming-Language-Meetups
  ☆19Updated 3 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆34Updated this week
• cs10 / bjc-r
  The Beauty and Joy of Computing public resource repository.
  ☆31Updated 10 months ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆101Updated last month
• RELabUU / aqusa-core
  A command line version of the AQUSA tool
  ☆13Updated 6 months ago
• davidjbacon / SETL
  GNU SETL
  ☆27Updated 2 weeks ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆17Updated 4 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• usethesource / flybytes
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆18Updated 3 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆16Updated 4 years ago