Alternatives and similar repositories for cspogil

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

• rosewang01 / rustkit-learn
  ☆16Updated 9 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• wepsim / wepsim
  WepSIM: Web Elemental Processor SIMulator
  ☆68Updated 4 months ago
• fsfe / reuse-example
  An example repository to understand the basics of REUSE
  ☆13Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆296Updated this week
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆21Updated last month
• szschaler / GridGames
  A DSL for developing grid-based arcade-style games. Because, .... fun!
  ☆17Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 10 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• PreTeXtBook / pretext-cli
  Command line interface for quickly creating, authoring, and building PreTeXt documents.
  ☆20Updated last week
• GamesCrafters / GamesmanClassic
  The classic C solver and tcl/tk frontend.
  ☆25Updated 3 months ago
• openwebwork / webwork2
  Course management front end for WeBWorK
  ☆152Updated 2 weeks ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆65Updated 3 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• mdeakyne / BbRest
  Blackboard REST APIs... for humans?
  ☆23Updated 2 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated 2 months ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• JulienPalard / oeis
  Newcomer friendly project implementing a few oeis.org sequences.
  ☆26Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆214Updated 2 weeks ago
• rsk0315 / rsk0315.github.io
  ☆19Updated last year
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆48Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated last month
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated 2 months ago
• papajohn / composing-programs-published
  Published version of composing programs textbook
  ☆13Updated 11 years ago
• pacien / beamer-viewer
  An in-browser Beamer presentation viewer
  ☆17Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year