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++
  ☆97Updated 2 months ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆165Updated 10 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆36Updated 2 months ago
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆284Updated last year
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated last week
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆50Updated 6 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆137Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 4 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 4 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆389Updated 2 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 6 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• yitzchak / common-lisp-jupyter
  A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.
  ☆236Updated 8 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆82Updated 10 months ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆104Updated 4 years ago
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆201Updated 9 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 2 weeks ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆57Updated last month
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated this week