Alternatives and similar repositories for sgb

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

• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• ascherer / cweb
  Literate Programming in C/C++
  ☆99Updated 2 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated this week
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆295Updated last year
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆86Updated last year
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 3 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆139Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆40Updated 7 months ago
• jrincayc / ucblogo-code
  Berkeley Logo interpreter
  ☆229Updated last week
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆177Updated 3 weeks ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆51Updated last month
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆394Updated 2 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆100Updated 8 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆70Updated 3 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• smlnj / legacy
  This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆44Updated last week
• jonghough / jlearn
  Machine Learning Library, written in J
  ☆57Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week