osj1961 / giamLinks
A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
☆120Updated 3 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☆276Updated 5 months ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆83Updated 9 months ago
- ☆42Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- Mathematics pastebin software that powered MathB.in from 2012 to 2025☆372Updated 6 months ago
- ☆52Updated last year
- Make Project Oberon Pretty Again☆198Updated last year
- An online IDE for visual programming in Prolog☆245Updated 4 months ago
- Time management system for autodidacts.☆15Updated 2 years ago
- Capturing all the details of the classic Usenix Unix poster.☆76Updated 3 months ago
- Text Adventure game in SWI Prolog.☆101Updated 2 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆164Updated 9 months ago
- Rich text editor on the web, featuring live calculations.☆179Updated 2 weeks ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆240Updated 4 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆263Updated 3 weeks ago
- ☆128Updated 2 months ago
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆28Updated 2 years ago
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆52Updated 2 weeks ago
- ☆41Updated last year
- document organizer with tags and full-text-search, in a simple and clean sqlite3 schema☆167Updated last year
- the statistics handbook open source repository☆272Updated last month
- Breck's Blog☆45Updated 4 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆79Updated 7 months ago
- R script which gives an overview of R through code and code comments.☆18Updated 6 years ago
- An ngn/k tutorial.☆207Updated last year
- Introduction to Statistical Learning☆61Updated 4 years ago
- the origins of J☆63Updated 2 years ago