Alternatives and similar repositories for sgb

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

• ascherer / cweb
  Literate Programming in C/C++
  ☆98Updated 2 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆50Updated last month
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated 2 weeks ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated last month
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆391Updated 2 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 6 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆289Updated last year
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆111Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 8 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated 2 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆69Updated last month
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆127Updated last month
• dubrousky / mockmma
  ☆30Updated 7 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆166Updated 10 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆66Updated 8 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆138Updated last year
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• perceptual-ai / sicm-scheme-exercises
  Exercises and notes on Structure and Interpretation of Classical Mechanics.
  ☆75Updated 3 years ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆122Updated 10 months ago