osj1961 / giam
A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
☆109Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for giam
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.☆93Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆44Updated this week
- P.D. Magnus' forallx logic textbook☆60Updated 10 months ago
- Personal collection of R notes☆191Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- ☆97Updated this week
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆81Updated 4 months ago
- A lisp dialect based on pattern matching and term rewriting☆82Updated 3 weeks ago
- Make Project Oberon Pretty Again☆191Updated 10 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 9 months ago
- An online IDE for visual programming in Prolog☆234Updated 3 months ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆311Updated last year
- The Principia Rewrite☆206Updated 5 months ago
- ☆50Updated 5 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆43Updated 4 months ago
- A book about category theory☆341Updated last week
- HTML conversion of a great beginner calculus book☆261Updated 3 months ago
- Play/Download crossword puzzles in Emacs☆67Updated 3 years ago
- Note-taking in Emacs with howm package☆123Updated 3 weeks ago
- Org babel extension for Chat Assistant APIs such as ChatGPT☆58Updated last year
- the statistics handbook open source repository☆258Updated this week
- An ngn/k tutorial.☆195Updated 5 months ago
- "A First Course in Linear Algebra" open source textbook☆65Updated last month
- ☆41Updated 3 years ago
- Collaborative Lisp coding on Discord☆34Updated 9 months ago
- Epidemics Plugin for the UG4 software☆69Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- posts and code related to personal studies☆374Updated 3 weeks ago