cnewstead / infdescLinks
An Infinite Descent into Pure Mathematics
☆45Updated 4 years ago
Alternatives and similar repositories for infdesc
Users that are interested in infdesc are comparing it to the libraries listed below
Sorting:
- Public repository for Abstact Algebra Theory and Applications☆171Updated 3 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆27Updated 3 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆66Updated last year
- Lecture notes from Cambridge maths☆68Updated last year
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆298Updated last year
- autojump implementation that is applicable to any shell and any OS☆10Updated 2 years ago
- Support for for students (Python)☆64Updated last month
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆254Updated 3 weeks ago
- Mathematical notes and papers☆26Updated 2 months ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- The Principia Rewrite☆224Updated 5 months ago
- Basic Analysis, undergraduate real analysis textbook☆77Updated this week
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆212Updated last week
- Principles Of Programming Languages - Projects and Homeworks☆71Updated 10 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆19Updated last year
- Public helper code for p423/p523 students (Racket)☆164Updated 7 months ago
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- Group theory visualization software in the browser☆253Updated last year
- Solutions to Algebra, by Michael Artin.☆34Updated 8 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆56Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year