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
  ☆164Updated 9 months ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆96Updated 2 months ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆50Updated 5 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated 2 months ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated last week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 6 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 3 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated last month
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 3 months ago
• didoudiaz / gprolog
  GNU Prolog
  ☆130Updated last week
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated this week
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• theartofcomputerprogramming / mmixsamples
  Sample code in MMIX assembly language
  ☆11Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 months ago
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆282Updated 11 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆138Updated 7 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• nfzhou / lp-contest
  ☆11Updated 2 weeks ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆13Updated last month
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆387Updated 2 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆64Updated 8 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆160Updated 8 months ago
• hebisch / poplog
  ☆26Updated last month
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆128Updated last week