mhartl
Follow
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedDec 25, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedDec 23, 2024 -
action_cable_chat_app Public
The chat app for Learn Enough Action Cable to Be Dangerous
-
book_template Public
Book template for long-form documents (including those for my math learning project)
-
-
-
Solution-to-Algebra-Chapter-0 Public
Forked from hooyuser/Solution-to-Algebra-Chapter-0Solution to Algebra, Chapter 0
TeX Other UpdatedMar 1, 2024 -
understanding-analysis-solutions Public
Forked from UlisseMini/understanding-analysis-solutionsSolutions to Understanding Analysis by Stephen Abbott (second edition)
TeX UpdatedFeb 17, 2024 -
-
alphageometry Public
Forked from google-deepmind/alphageometryPython Apache License 2.0 UpdatedJan 17, 2024 -
jekyll-latex Public
Forked from jekyll/jekyll-textile-converterLaTeX converter for Jekyll
-
Elements Public
Forked from rfitzp/ElementsGreek/English version of Euclid's Elements
TeX UpdatedJul 11, 2023 -
sample_app_rails_3_2 Public
Ruby on Rails Tutorial sample application
-
-
will_paginate_app Public
An app to reproduce an issue with the will_paginate gem
Ruby UpdatedJan 19, 2023 -
-
-
python_package_tutorial Public
A sample package for Learn Enough Python to Be Dangerous by Michael Hartl
-
practical-python Public
Forked from dabeaz-course/practical-pythonPractical Python Programming (course by @dabeaz)
-
-
sage Public
Forked from sagemath/sage-archive-2023-02-01Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/
Python Other UpdatedJul 26, 2022 -
flask-hello-world Public
Forked from render-examples/flask-hello-worldFlask Hello World Example for Render
-
mhartl.github.io Public
Forked from learnenough/le_js_fullThe Learn Enough JavaScript to Be Dangerous gallery app
-
nakamotoinstitute.org Public
Forked from NakamotoInstitute/nakamotoinstitute.orgA website for preserving and continuing the crypto-anarchist tradition
-
sample_app_3rd_edition Public
The sample app for the 3rd edition of the Ruby on Rails Tutorial
-
content Public
Forked from 1729/contentOpen-source backend for content at 1729.com, beginning with the Network State lecture series.
1 UpdatedNov 20, 2021 -
-
docs Public
Forked from github/docsThe open-source repo for docs.github.com
-
uniswap-docs Public
Forked from Uniswap/docs📓 Uniswap V3 docs website
JavaScript UpdatedAug 18, 2021 -
thomas-bulfinch_bulfinchs-mythology Public
Forked from standardebooks/thomas-bulfinch_bulfinchs-mythologyEpub source for the Standard Ebooks edition of Bulfinch’s Mythology, by Thomas Bulfinch