uk237
Follow
-
hugo-texify3 Public
Forked from michaelneuper/hugo-texify3A LaTeX-style hugo theme with the gruvbox color scheme for personal blogging
JavaScript MIT License UpdatedMay 16, 2026 -
proofs_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML Apache License 2.0 UpdatedAug 8, 2025 -
-
pandoc Public
Forked from jgm/pandocUniversal markup converter
Haskell GNU General Public License v2.0 UpdatedApr 15, 2016 -
LaTeXTools Public
Forked from SublimeText/LaTeXToolsLaTeX plugin for Sublime Text 2 and 3
Python UpdatedApr 9, 2016 -
ThinkPython2 Public
Forked from AllenDowney/ThinkPython2LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.
TeX UpdatedMar 14, 2016 -
-
datasharing Public
Forked from jtleek/datasharingThe Leek group guide to data sharing
UpdatedJul 12, 2015 -
DataScienceSpCourseNotes Public
Forked from sux13/DataScienceSpCourseNotesCompiled Notes for all 9 courses in the Coursera Data Science Specialization
HTML UpdatedJul 2, 2015 -