The repository was archived. Now all notes will be updated in The Rabbit Hole
Knowledge is free!
Welcome to my GitHub repository, where I've gathered a collection of my notes and resources on mathematics, physics, computer science, type theory and more. This repository serves as a hub for my personal learning journey and a platform where I can share my knowledge with others who are passionate about these subjects.
This repository is organized into folders and subfolders, making it easy to navigate and find the information you're looking for. Here's a breakdown of what you can expect to discover:
- All the notes were written in Obsidian Markdown so you may need to install obsidian first.
- Explore the folders and subfolders to find notes on specific topics.
- All the topics have a
intro.mdwhich gives a brief introduction to the specific topic. - Check out the Recommended Reading Lists section for resources to enhance your knowledge.
- Feel free to contribute, suggest improvements, or ask questions.
Many people ask me how to learn certain knowledge, and I always recommended one or two books to them. Here is my recommend list which covers textbooks, research papers, and online resources that you can find excellent materials in the domain you want to study. This note also refers to these book more or less.
- Analysis
- Understanding analysis
- Analysis I by Amann
- Abstract Algebra
- Abstract Algebra by Dummit
- Algebra Chapter 0
- Contemporary Abstract Algebra
- Category Theory and Topos
- Topoi : The Categorical Analysis of Logic
- Conceptual Mathematics
- Category Theory in Context
- Topology
- Topology without tears
- Mechanics
- Foundations of Mechanics by Abraham and Marsden
- Intuitionistic Type Theory
- Homotopy Type Theory Book
- Type Theory and formal proof
- Practical Foundations for programming languages
- Agda
- Introduction to Univalent Foundations of Mathematics with Agda
- Coq
- Software Foundations
- Haskell
- Algebra-Driven Design
- Thinking Functionally with Haskell by Richard Bird
- Idirs
- Type Driven Development with Idris
- Lean
- Theorem Proving in Lean 4
- Functional Programming in Lean
- Ocaml
- Real World OCaml: Functional Programming for the Masses
- PureScript
- Functional Programming Made Easier: A step-by-step Guide
- Scheme
- Structure and Interpretation of Computer Programs
- Stanford Encyclopedia of Philosophy
- Wikipedia
This repository is an evolving project, and I welcome contributions from the community. If you have corrections, additional insights, or new content to share, please feel free to open issues, submit pull requests or something.
- Host this notes into git-pages with vitepress
- Auto compile markdown into PDF files
- Write
intro.mdfor every topic
This repo is based on MIT License.