Skip to content
View daniel-j-h's full-sized avatar
🤗
🤗
  • 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
12 stars written in TeX
Clear filter

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

TeX 11,547 636 Updated Jan 24, 2026

A modern LaTeX Beamer theme

TeX 6,797 859 Updated Nov 23, 2022

A textbook on informal homotopy type theory

TeX 2,141 374 Updated Nov 23, 2025

papers of Per Martin Löf

TeX 816 71 Updated Jan 30, 2024

Font selection in LaTeX for XeTeX and LuaTeX

TeX 299 35 Updated Mar 30, 2026

An alternative to Babel for XeLaTeX and LuaLaTeX

TeX 204 51 Updated Dec 31, 2025

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

TeX 86 9 Updated Nov 12, 2018

Lean Tutorials

TeX 46 46 Updated Oct 4, 2020

Learn You Some Algebras for Glorious Good!

TeX 16 3 Updated Jan 1, 2015

GridKa School repository

TeX 10 14 Updated Dec 4, 2015

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

TeX 2 Updated Jul 4, 2023

A Ceph tutorial for GridKA School 2015

TeX 2 4 Updated Sep 8, 2015