リポジトリ

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)