Repository

Repository di mhartl

102 repository supportati

Mostra repository con issue indicizzate
mhartl/ElementsTeX

Greek/English version of Euclid's Elements

Ultimo commit 11 lug 2023

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/FLTLean

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

Ultimo commit 3 ago 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/GhostJavaScript

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

Ultimo commit 23 dic 2019

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/Ghost-AdminJavaScript

Ghost's admin client

Ultimo commit 23 dic 2019

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/MathJax-docsPython

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

Ultimo commit 8 mag 2020

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/Solution-to-Algebra-Chapter-0TeX

Solution to Algebra, Chapter 0

Ultimo commit 1 mar 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/action_cable_chat_appRuby

The chat app for Learn Enough Action Cable to Be Dangerous

Ultimo commit 3 apr 2021

 (62 star) (864 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/alphageometryPython

Ultimo commit 12 gen 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/analysisLean

A Lean companion to Analysis I

Ultimo commit 23 mag 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/another_test

Nessun dato recente sui commit

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/barfing-rainbowTeX

Illustrate a softcover thing

Ultimo commit 19 giu 2014

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/bookTeX

Source code of the companion book/website

Ultimo commit 8 lug 2014

 (4 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/book_name

Nessun dato recente sui commit

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/book_templateTeX

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

Ultimo commit 20 giu 2024

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/bullish_case_for_bitcoin

Light copyedit for "The Bullish Case for Bitcoin"

Ultimo commit 13 apr 2018

 (4 star) (3 fork) (0 issue indicizzate) (0 good first issue aperte)
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/

Ultimo commit 28 ott 2008

 (10 star) (4 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/charles-dickens_a-christmas-carolHTML

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

Ultimo commit 17 dic 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/content

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

Ultimo commit 20 nov 2021

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/demo_appRuby

Ultimo commit 5 mag 2014

 (1 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
mhartl/docsJavaScript

The open-source repo for docs.github.com

Ultimo commit 25 ago 2021

 (1 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)