osj1961 / giam
A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
☆113Updated 2 weeks ago
Alternatives and similar repositories for giam:
Users that are interested in giam are comparing it to the libraries listed below
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- ☆50Updated 9 months ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 years ago
- P.D. Magnus' forallx logic textbook☆60Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- Make Project Oberon Pretty Again☆192Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 weeks ago
- Convert s-expressions input to HTML output.☆48Updated 8 months ago
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆81Updated 2 months ago
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆48Updated this week
- ☆110Updated this week
- Note-taking in Emacs with howm package☆133Updated 2 months ago
- ☆41Updated 4 years ago
- CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro☆162Updated last year
- A random text generation toolchain using n-grams written in Bash☆15Updated 7 months ago
- Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.☆92Updated last year
- Personal collection of R notes☆191Updated last year
- the origins of J☆62Updated last year
- Some of my AutoHotKey scripts☆223Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆98Updated 3 years ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 11 months ago
- the statistics handbook open source repository☆262Updated 3 months ago
- Applied Discrete Structures using PreTeXt☆43Updated this week
- A lisp dialect based on pattern matching and term rewriting☆84Updated 5 months ago
- 🐍 PyKidos: Python visual playground in the browser☆44Updated last year
- [WIP] A book on the k language.☆45Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago