Skip to content
View daniel-j-h's full-sized avatar
🤗
🤗
293 followers · 289 following
  • Berlin, Germany
  • 07:37 (UTC +02:00)

Organizations

@spz-signup @Project-OSRM @moabitcoin @ineedtope @usedgoodreads @ruberdog @tinygraph

Block or report daniel-j-h

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

12 stars written in TeX
Clear filter

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,547 636 Updated Jan 24, 2026

matze / mtheme

A modern LaTeX Beamer theme

TeX 6,797 859 Updated Nov 23, 2022

HoTT / book

A textbook on informal homotopy type theory

TeX 2,141 374 Updated Nov 23, 2025

michaelt / martin-lof

papers of Per Martin Löf

TeX 816 71 Updated Jan 30, 2024

latex3 / fontspec

Font selection in LaTeX for XeTeX and LuaTeX

TeX 299 35 Updated Mar 30, 2026

reutenauer / polyglossia

An alternative to Babel for XeLaTeX and LuaLaTeX

TeX 204 51 Updated Dec 31, 2025

ericniebler / stl2

LaTeX and Markdown source for the Ranges TS/STL2 and associated proposals

TeX 86 9 Updated Nov 12, 2018

leanprover / tutorial

Lean Tutorials

TeX 46 46 Updated Oct 4, 2020

learnmath / lysa

Learn You Some Algebras for Glorious Good!

TeX 16 3 Updated Jan 1, 2015

gc3-uzh-ch / gridka-school

GridKa School repository

TeX 10 14 Updated Dec 4, 2015

pasta-toolbox / bit_vector_experiments

Experimental setup for our pasta::bit_vector (+ rank and select support) implementation

TeX 2 Updated Jul 4, 2023

dianagudu / gks2015-ceph

A Ceph tutorial for GridKA School 2015

TeX 2 4 Updated Sep 8, 2015