Alternatives and similar repositories for sgb

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

• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last month
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last year
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆41Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last month
• ascherer / cweb
  Literate Programming in C/C++
  ☆93Updated last month
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated last month
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆33Updated last month
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆148Updated 5 months ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• rfindler / lindenmayer
  ☆25Updated 2 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 9 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆142Updated last year
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 11 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 3 months ago