Alternatives and similar repositories for sgb:

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

• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆29Updated 2 weeks ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆99Updated 6 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 3 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆88Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 7 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated last week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 8 months ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆38Updated this week
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆41Updated this week
• motib / LearnSAT
  SAT solver for education
  ☆25Updated 2 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆48Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 months ago
• coq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated last month
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated 11 months ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆62Updated this week
• nfzhou / lp-contest
  ☆10Updated 3 months ago
• theartofcomputerprogramming / mmixsamples
  Sample code in MMIX assembly language
  ☆11Updated 3 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆29Updated 3 weeks ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆43Updated 2 weeks ago