Skip to content
View cormacrelf's full-sized avatar
56 followers · 16 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Block or report cormacrelf

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

3 stars written in TeX
Clear filter

synercys / annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

TeX 3,889 216 Updated Jul 12, 2022

trvedata / crdt-isabelle

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…

TeX 75 7 Updated Dec 18, 2022

bitzl / latex-grid-system

latex-grid-system is a package for the LaTeX typesetting system implementing a grid system as known from CSS grid systems.

TeX 18 2 Updated Jul 22, 2022