cnewstead / infdescLinks
An Infinite Descent into Pure Mathematics
☆44Updated 4 years ago
Alternatives and similar repositories for infdesc
Users that are interested in infdesc are comparing it to the libraries listed below
Sorting:
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆27Updated 3 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆82Updated last year
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated 2 weeks ago
- Mathematical notes and papers☆26Updated 3 weeks ago
- Lectures for the "Problem Solving" Class at Nanjing University.☆26Updated 4 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Basic Analysis, undergraduate real analysis textbook☆75Updated last week
- syntax highligher for GkdTeX☆25Updated 4 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated this week
- 🌼 Homework of Computer Systems: A Programmer's Perspective (3rd Edition) and Autolab solutions of CMU 15-513: Intro to Computer Systems☆35Updated 4 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆238Updated 2 weeks ago
- Lean4中文教程☆34Updated 4 months ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- Chinese translation of the book "TeX for the Impatient"☆17Updated 8 years ago
- Lecture notes from Cambridge maths☆69Updated last year
- Public helper code for p423/p523 students (Racket)☆164Updated 5 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆86Updated 2 years ago
- Deprecated: See APEXCalculusV5☆59Updated 6 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆73Updated this week
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Solution to Algebra, Chapter 0☆90Updated last month
- Introductory Calculus with the Julia Programming Language☆68Updated 2 years ago
- Notes on Diffy Qs, a textbook for differential equations☆65Updated last week
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 6 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago