Recent

Math Proof
Proof
Matthew Pelto

Inference Rules and T-diagrams with the semantic Package
Some examples of typesetting inference rules and T-diagrams using the semantic package.
LianTze Lim

Exercício de Nivelamento - Lógica II
Exercício de nivelamento de Lógica II, feito pelo aluno Fellipe de Carvalho Silva na UFRJ, em 2018.2.
Fellipe de Carvalho Silva

Lineare Algebra Mitschrieb
Mathe KIT
Craftgoll

Poker Theorems
A simple trick to decorate Theorem-like environments with poker suits QED symbols.
I did not come up with this theorem decoration style (I've first seen it here) nor with the whole code (I salvaged it from TeX StackExchange and other sources over the years). This is just my current implementation of the code.
Níckolas Alves

Table with formulas and footnotes
This is a table I used in the paper W. Li, G. Wei, D. Ding, Y. Liu and F. E. Alsaadi, "A New Look at Boundedness of Error Covariance of Kalman Filtering," in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 48, no. 2, pp. 309-314, Feb. 2018. I would like to share some LaTex codes for the table which might be helpful to some readers.
Wangyan Li

Mini-livre: Trigonométrie
Trigonométrie anti-sèche résumé de cours de seconde. Mini-livre 8 A7 sur un A4 recto.
cheatsheet antiseche pocketmod minibook trig sin cos circle cercle
Vincent PANTALONI

Homework Template - Methods of Applied Mathematics Problem Set 1
homework template
Qi Lei

سلسلة التمارين الأولى
Xelatex, Polyglossia, Amiri, Série, Exercices (A maths exercise sheet in Arabic)
Noureddine