Alternatives and similar repositories for cspogil

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

• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆22Updated 4 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• wepsim / wepsim
  WepSIM: Web Elemental Processor SIMulator
  ☆68Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 4 months ago
• bhoffman0 / CSAwesome
  This is the CSAwesome curriculum Runestone repo for the AP CS A Java Course
  ☆30Updated 2 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆49Updated last year
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• NetsBlox / NetsBlox
  a networked visual programming language based on Snap!
  ☆75Updated 2 years ago
• alyssarosenzweig / scratch-llvm
  Cross-compiling LLVM into MIT Scratch, because it's interesting.
  ☆85Updated 10 years ago
• TheAliceProject / alice3
  The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.
  ☆167Updated this week
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated last year
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆114Updated 2 months ago
• mrmcsoftware / CPUsimulator
  This is an HTML/Javascript CPU simulator and assembler for the CPU I designed. Originally, I created this CPU on paper many years ago for…
  ☆35Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• GamesCrafters / GamesmanClassic
  The classic C solver and tcl/tk frontend.
  ☆25Updated this week
• ancyrweb / jcc
  C Compiler written in Kotlin
  ☆13Updated last year
• RexxLA / NetRexx
  ☆11Updated this week
• BMouradov / pCubes
  ☆18Updated 2 years ago
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆91Updated 2 years ago
• liffiton / Gen-Ed
  Gen-Ed is a framework for building web applications that use generative AI (LLMs) for education.
  ☆32Updated 3 weeks ago
• checkedc / checkedc-llvm-project
  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
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆217Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• baziotis / dicc
  A compiler for a subset of C written in C.
  ☆19Updated 6 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 2 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆118Updated 6 months ago
• snap-cloud / snapCloud
  Official cloud backend and community site for the Snap! programming language
  ☆60Updated 2 weeks ago
• mdeakyne / BbRest
  Blackboard REST APIs... for humans?
  ☆23Updated 2 years ago