{"id":14062858,"url":"https://github.com/zhaoshenzhai/mathwiki","last_synced_at":"2025-05-16T03:07:26.919Z","repository":{"id":40203348,"uuid":"448014863","full_name":"zhaoshenzhai/mathwiki","owner":"zhaoshenzhai","description":"A statically-generated site to host my math course notes in university.","archived":false,"fork":false,"pushed_at":"2025-05-15T17:18:44.000Z","size":37246,"stargazers_count":451,"open_issues_count":1,"forks_count":22,"subscribers_count":8,"default_branch":"master","last_synced_at":"2025-05-15T18:30:07.518Z","etag":null,"topics":["bash-script","hugo","latex-tikz","math-notes","mathjax"],"latest_commit_sha":null,"homepage":"https://zhaoshenzhai.github.io/mathwiki/","language":"Markdown","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/zhaoshenzhai.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-01-14T15:27:37.000Z","updated_at":"2025-05-15T17:18:48.000Z","dependencies_parsed_at":"2024-02-11T23:32:12.213Z","dependency_job_id":"c06e31e1-3ca5-4986-9c08-5cae12e8a042","html_url":"https://github.com/zhaoshenzhai/mathwiki","commit_stats":{"total_commits":2806,"total_committers":3,"mean_commits":935.3333333333334,"dds":0.007483962936564503,"last_synced_commit":"d6b97ec9f08275b316d4f2e9bf19356d50b71154"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zhaoshenzhai%2Fmathwiki","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zhaoshenzhai%2Fmathwiki/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zhaoshenzhai%2Fmathwiki/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zhaoshenzhai%2Fmathwiki/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/zhaoshenzhai","download_url":"https://codeload.github.com/zhaoshenzhai/mathwiki/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254459088,"owners_count":22074605,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["bash-script","hugo","latex-tikz","math-notes","mathjax"],"created_at":"2024-08-13T07:02:47.046Z","updated_at":"2025-05-16T03:07:21.895Z","avatar_url":"https://github.com/zhaoshenzhai.png","language":"Markdown","funding_links":[],"categories":["Markdown"],"sub_categories":[],"readme":"# MathWiki\n\nA statically-generated [Hugo](https://gohugo.io/) site to host my math course notes in university, inspired by [Obsidian.md](https://obsidian.md).\n\nThese notes are meant to be a distilled version of the math I've learnt where ideas, formulations, and important results are broken down into their atomic components of definitions, propositions, and theorems for clarity, precision, and accessibility.\n\n\u003e Work in progress!\n\n## Contents\n* [Note Types and Templates](https://github.com/zhaoshenzhai/mathwiki#pencil2-note-types-and-templates); the basic templates and outgoing links for each type of note.\n* [Scripts](https://github.com/zhaoshenzhai/mathwiki#scripts); snippets, plugins, and my bash scripts.\n\n## Note Types and Templates\n\nEach note is currently one of four types:\n\n* **Definition**/**Example**, either of an `object` or of a `notion`, which links to:\n    * Types: _Objects/notions of type `object`/`notion` with additional restrictions._\n    * Examples: _Specific examples or counterexamples of `object`/`notion` (but not of any of its `types`)._\n    * Constructions: _Objects/notions derived from `object`/`notion`._\n    * Generalizations: _Abstractions of `object`/`notion`._\u003cbr/\u003e\u003cbr/\u003e\n    * Properties: _Statements regarding `object` or necessary conditions of `notion`._\n    * Sufficiencies: _Proofs that other objects are of type `object` or sufficient conditions of `notion`_\n    * Equivalences: _Equivalent definitions for `object` or biconditionals between notions and `notion`._\n    * Justifications: _Proofs of well-definition of `object`/`notion`._\n\n* **Proposition**/**Theorem** (differentiated by 'importance'), including both `statement` and `proof` regarding `object`/`notion`, which links to:\n    * Proved by: _Statements in which `proof` depends crucially on._\n    * References: _Notes in which the proofs of `statement` (or corollaries thereof) are delegated to._\n    * Justifications: _Proofs of implicit assumptions of `object`/`notion` in `statement`._\u003cbr/\u003e\u003cbr/\u003e\n    * Specializations: _Reformulations/proofs of instances of `statement`._\n    * Generalizations: _Statements and proofs of abstractions of `statement`._\n\nThese templates are automatically inserted whenever a note is created. After the links, the main content is written with remarks where appropriate.\n\n## Scripts\n\nI wrote some bash scripts to (try) maintain the consistency of my notes; [main.sh](https://github.com/zhaoshenzhai/mathwiki/blob/master/.scripts/main.sh) acts as a hub for me to run them.\n* Global search and replace, including the ability of excluding additional patterns, is handled by [searchReplace.sh](https://github.com/zhaoshenzhai/mathwiki/blob/master/.scripts/searchReplace.sh).\n* Basic stats of the site (and updating them below) is handled by [stats.sh](https://github.com/zhaoshenzhai/mathwiki/blob/master/.scripts/stats.sh).\n* Displaying all links that have yet to be created and all notes that have those links, are handled by [ghostLinks.sh](https://github.com/zhaoshenzhai/mathwiki/blob/master/.scripts/ghostLinks.sh).\n\nSome stats: 75 notes, 301 links (ratio: 4.013), 8 images ([updated](https://github.com/zhaoshenzhai/mathwiki/blob/master/.scripts/stats.sh) every commit).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzhaoshenzhai%2Fmathwiki","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fzhaoshenzhai%2Fmathwiki","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fzhaoshenzhai%2Fmathwiki/lists"}