Repositories

mhartl repositories

102 supported repositories

Show repositories with indexed issues
mhartl/ElementsTeX

Greek/English version of Euclid's Elements

Last commit Jul 11, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/FLTLean

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

Last commit Aug 3, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/GhostJavaScript

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

Last commit Dec 23, 2019

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/Ghost-AdminJavaScript

Ghost's admin client

Last commit Dec 23, 2019

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/MathJax-docsPython

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

Last commit May 8, 2020

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/Solution-to-Algebra-Chapter-0TeX

Solution to Algebra, Chapter 0

Last commit Mar 1, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/action_cable_chat_appRuby

The chat app for Learn Enough Action Cable to Be Dangerous

Last commit Apr 3, 2021

 (62 stars) (864 forks) (0 indexed issues) (0 open good first issues)
mhartl/alphageometryPython

Last commit Jan 12, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/analysisLean

A Lean companion to Analysis I

Last commit May 23, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/another_test

No recent commit data

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/barfing-rainbowTeX

Illustrate a softcover thing

Last commit Jun 19, 2014

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/bookTeX

Source code of the companion book/website

Last commit Jul 8, 2014

 (4 stars) (1 fork) (0 indexed issues) (0 open good first issues)
mhartl/book_name

No recent commit data

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/book_templateTeX

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

Last commit Jun 20, 2024

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/bullish_case_for_bitcoin

Light copyedit for "The Bullish Case for Bitcoin"

Last commit Apr 13, 2018

 (4 stars) (3 forks) (0 indexed issues) (0 open good first issues)
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/

Last commit Oct 28, 2008

 (10 stars) (4 forks) (0 indexed issues) (0 open good first issues)
mhartl/charles-dickens_a-christmas-carolHTML

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

Last commit Dec 17, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/content

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

Last commit Nov 20, 2021

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mhartl/demo_appRuby

Last commit May 5, 2014

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)
mhartl/docsJavaScript

The open-source repo for docs.github.com

Last commit Aug 25, 2021

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)