Discover @tetrapharmakon Open Source projects

fouche (@tetrapharmakon)

tetrapharmakon

Stars
47
Global Rank 356,388 (Top 13 %)
Followers 43
Following 9
Registered about 11 years ago
Most used languages

TeX
92.3 %

HTML
7.7 %
Location 🇪🇪 Estonia
Country Total Rank 390
Country Ranking

TeX
2

HTML
82

yoneda-in-tongues

Yoneda lemma in every known language

moirai

yoneda-ontology

Yoneda lemma, homotopy and ontology

isbell-frames

Isbell duality and pointfree topology

tetrapharmakon.github.io

coend-cofriend

mystic-sunflower

species

bullex

A TeXy bullet journal

itaca-preambolo

teofanie

konkur

Nice pdf form for Italian RTD# research positions

toki-pona-ct

A proof of concept: basic maths in toki pona

mycv

a template for a cv that does not make your eyes bleed infectious spores