Alternatives and similar repositories for sgb

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

• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆166Updated 10 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 4 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆112Updated last month
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated last week
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 4 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated 3 months ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆96Updated 3 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆284Updated last year
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆50Updated last week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆390Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated this week
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆65Updated 8 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆228Updated 9 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆36Updated 3 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 4 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 4 years ago