osj1961 / giamLinks
A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
☆120Updated last week
Alternatives and similar repositories for giam
Users that are interested in giam are comparing it to the libraries listed below
Sorting:
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago
- ☆52Updated last year
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- HTML conversion of a great beginner calculus book☆280Updated 7 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- ☆42Updated 4 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- Capturing all the details of the classic Usenix Unix poster.☆78Updated 4 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆30Updated 3 years ago
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆83Updated 10 months ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆141Updated last year
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆28Updated 2 years ago
- Make Project Oberon Pretty Again☆198Updated last year
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆53Updated 3 weeks ago
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- Personal collection of R notes☆194Updated 2 years ago
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆167Updated 11 months ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆241Updated 6 months ago
- Examples of literate programming by Knuth☆39Updated 5 months ago
- Time management system for autodidacts.☆15Updated 2 years ago
- R script which gives an overview of R through code and code comments.☆18Updated 6 years ago
- [WIP] A book on the k language.☆49Updated 3 years ago
- An introduction to the J programming language that gets to the point.☆66Updated 4 months ago
- A curated list of awesome Category Theory resources.☆125Updated 6 months ago
- isingLenzMC: Monte Carlo for Classical Ising Model (with core C library)☆53Updated last month
- Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.☆92Updated 2 years ago
- The Principia Rewrite☆228Updated 9 months ago