ascherer / sgbLinks
Stanford GraphBase
☆35Updated 3 weeks ago
Alternatives and similar repositories for sgb
Users that are interested in sgb are comparing it to the libraries listed below
Sorting:
- Literate Programming in C/C++☆97Updated 2 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆165Updated 10 months ago
- Literate Programming in C/C++☆36Updated 2 months ago
- The noweb tool for literate programming☆284Updated last year
- MMIX 2009 – a RISC computer for the third millennium☆43Updated last week
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆50Updated 6 months ago
- Hevea is a fast latex to html translator☆108Updated last week
- Source of metamath book☆51Updated last year
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Updated 3 years ago
- Computer calculations made easy☆137Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Examples of literate programming by Knuth☆38Updated 4 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆139Updated 7 years ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- Axiom is a free, open source computer algebra system☆389Updated 2 years ago
- ☆30Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 6 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.☆236Updated 8 months ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Small Fast S-Expression Library☆82Updated 10 months ago
- Pads format description language☆21Updated 9 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆104Updated 4 years ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆201Updated 9 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 2 weeks ago
- The Principia Rewrite☆227Updated 8 months ago
- A repository of user contributed content for TeXmacs☆57Updated last month
- Official repository of the FriCAS computer algebra system☆350Updated this week