仓库

mhartl 的仓库

102 个支持的仓库

只显示包含已索引 issue 的仓库
mhartl/ElementsTeX

Greek/English version of Euclid's Elements

最近提交 2023年7月11日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/FLTLean

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

最近提交 2025年8月3日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/GhostJavaScript

👻 The #1 headless Node.js CMS for professional publishing

最近提交 2019年12月23日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/Ghost-AdminJavaScript

Ghost's admin client

最近提交 2019年12月23日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/MathJax-docsPython

MathJax documentation. Beautiful math in all browsers. Beautifully documented.

最近提交 2020年5月8日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/Solution-to-Algebra-Chapter-0TeX

Solution to Algebra, Chapter 0

最近提交 2024年3月1日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/action_cable_chat_appRuby

The chat app for Learn Enough Action Cable to Be Dangerous

最近提交 2021年4月3日

 (62 stars) (864 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/alphageometryPython

最近提交 2024年1月12日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/analysisLean

A Lean companion to Analysis I

最近提交 2026年5月23日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/another_test

没有最近提交数据

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/barfing-rainbowTeX

Illustrate a softcover thing

最近提交 2014年6月19日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/bookTeX

Source code of the companion book/website

最近提交 2014年7月8日

 (4 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/book_name

没有最近提交数据

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/book_templateTeX

Book template for long-form documents (including those for my math learning project)

最近提交 2024年6月20日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/bullish_case_for_bitcoin

Light copyedit for "The Bullish Case for Bitcoin"

最近提交 2018年4月13日

 (4 stars) (3 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/catch_cookie_exception

Catch and handle the CGI::Session::CookieStore::TamperedWithCookie exception that comes from changing the Rails secret string. See http://blog.insoshi.com/2008/08/15/a-security-issue-with-rails-secret-session-keys/

最近提交 2008年10月28日

 (10 stars) (4 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/charles-dickens_a-christmas-carolHTML

Epub source for the Standard Ebooks edition of A Christmas Carol, by Charles Dickens

最近提交 2025年12月17日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/content

Open-source backend for content at 1729.com, beginning with the Network State lecture series.

最近提交 2021年11月20日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/demo_appRuby

最近提交 2014年5月5日

 (1 star) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
mhartl/docsJavaScript

The open-source repo for docs.github.com

最近提交 2021年8月25日

 (1 star) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)