osj1961 / giamLinks
A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
☆118Updated 2 months ago
Alternatives and similar repositories for giam
Users that are interested in giam are comparing it to the libraries listed below
Sorting:
- HTML conversion of a great beginner calculus book☆279Updated 9 months ago
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆58Updated last month
- ☆53Updated last year
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆83Updated last year
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago
- ☆42Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- Personal collection of R notes☆195Updated 2 years ago
- R script which gives an overview of R through code and code comments.☆18Updated 7 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆270Updated 2 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated last year
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆81Updated 10 months ago
- Breck's Blog☆46Updated 7 months ago
- Digitized code from MIT's 1986 SICP video lectures.☆195Updated 6 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Mathematics pastebin software that powered MathB.in from 2012 to 2025☆374Updated 10 months ago
- An interactive course to git☆64Updated 4 years ago
- An online IDE for visual programming in Prolog☆245Updated this week
- Rich text editor on the web, featuring live calculations.☆185Updated last week
- Time management system for autodidacts.☆15Updated 2 years ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆243Updated 8 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆31Updated 3 years ago
- Make Project Oberon Pretty Again☆205Updated 2 years ago
- the statistics handbook open source repository☆271Updated last month
- Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.☆92Updated 2 years ago