Alternatives and similar repositories for cspogil

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

• rosewang01 / rustkit-learn
  ☆16Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆22Updated 6 months ago
• callegar / LaTeX-draftwatermark
  The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…
  ☆15Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• FlatAssembler / PicoBlaze_Simulator_in_JS
  Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.
  ☆30Updated this week
• wepsim / wepsim
  💡 WepSIM: Web Elemental Processor SIMulator 📱 💻 🖥️
  ☆68Updated last week
• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆37Updated 2 years ago
• exo7math / python1-en-exo7
  Python in high school - Algorithms and mathematics
  ☆16Updated 4 years ago
• AutomataTutor / automatatutor-frontend
  Scala+lift frontend for automatatutor.com
  ☆10Updated 6 years ago
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆91Updated 2 years ago
• dddrrreee / cs140e-26win
  all the materials for cs140e winter 2026
  ☆27Updated this week
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆70Updated 2 months ago
• cs10 / bjc-r
  The Beauty and Joy of Computing public resource repository.
  ☆31Updated last year
• uniconproject / unicon
  ☆66Updated last month
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆115Updated 3 weeks ago
• RefPerSys / RefPerSys
  Reflexive & Persistent System (artificial intelligence)
  ☆104Updated last week
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆12Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• ancyrweb / jcc
  C Compiler written in Kotlin
  ☆13Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆120Updated last week
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆22Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• BMouradov / pCubes
  ☆19Updated 2 years ago
• GReaperEx / bcg
  Original programs of the book "BASIC Computer Games"
  ☆52Updated 3 years ago
• eatonphil / bootloaders
  Bootloader exploration
  ☆20Updated 3 years ago
• GamesCrafters / GamesmanClassic
  The classic C solver and tcl/tk frontend.
  ☆25Updated 3 weeks ago