ascherer / sgbLinks
Stanford GraphBase
☆34Updated 10 months ago
Alternatives and similar repositories for sgb
Users that are interested in sgb are comparing it to the libraries listed below
Sorting:
- Online, interactive edition of the "Simply Logical" Prolog textbook☆150Updated 7 months ago
- Examples of literate programming by Knuth☆37Updated 3 weeks ago
- Literate Programming in C/C++☆93Updated 2 months ago
- ☆67Updated 3 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Axiom is a free, open source computer algebra system☆384Updated last year
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- Constraint Logic Programming over Integers☆202Updated last year
- Art of Prolog Code☆36Updated 5 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Pads format description language☆21Updated 9 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last year
- the stanford graphbase, by donald knuth☆17Updated 9 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- The version of Pharo by Example for Pharo 90☆32Updated 10 months ago
- Literate Programming in C/C++☆33Updated 2 months ago
- A selection of 10 problems solved in different programming languages☆26Updated 5 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆171Updated 3 weeks ago
- ☆10Updated 9 months ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last week
- The Principia Rewrite☆224Updated 5 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆135Updated 7 years ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆195Updated 6 months ago
- A notional machine for the SMoL languages☆21Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year