cionx

It’s me.

Pinned Repositories

algebra-2-tutorial-ws1819
Additional materials for my Algebra II tutorial.
Language:TeX1 2 00
CustomTeX
A personal collection of LaTeX macros and configurations.
Language:TeX1 2 00
einfuehrung-in-die-algebra-review-ws-19-20
Materials for a review course to the lecture course “Einführung in die Algebra”.
Language:TeX1 2 00
einfuehrung-in-die-algebra-tutorial-ws-17-18
Tutoriumsnotizen für Einführung in die Algebra
Language:TeX2 3 10
foundations-in-representation-theory-notes-ws-18-19
Notes for the lecture course “Foundations in Representation Theory”.
Language:TeX10 2 01
human-resource-machine-solutions
My personal solutions for the game “Human Resource Machine”.
0 1 00
lie-algebras
Notes on Lie algebras and their representation theory.
Language:TeX3 2 00
solutions-basic-category-theory-leinster
Personal solutions to the exercises in Tom Leinster’s “Basic Category Theory”.
Language:TeX6 1 01
solutions-topology-a-categorical-approach-bbt
Personal solutions to “Topology: A Categorical Approach” by Bradley, Bryson and Terilla.
Language:TeX3 1 00
writing-latex
Some do’s and don’ts when writing mathematics using LaTeX.
Language:TeX5 2 31

cionx's Repositories

cionx/foundations-in-representation-theory-notes-ws-18-19
Notes for the lecture course “Foundations in Representation Theory”.
Language:TeX10 2 01
cionx/solutions-basic-category-theory-leinster
Personal solutions to the exercises in Tom Leinster’s “Basic Category Theory”.
Language:TeX6 1 01
cionx/writing-latex
Some do’s and don’ts when writing mathematics using LaTeX.
Language:TeX5 2 31
cionx/solutions-topology-a-categorical-approach-bbt
Personal solutions to “Topology: A Categorical Approach” by Bradley, Bryson and Terilla.
Language:TeX3 1 00
cionx/CustomTeX
A personal collection of LaTeX macros and configurations.
Language:TeX1 2 00
cionx/Lecture-Notes-Template
A template for lecture notes in LaTeX. Based on the class scrbook and the font Libertinus.
Language:TeX1 2 01
cionx/sicp-pdf
A personal variaton of the PDF version of SICP.
Language:TeX1 1 0
cionx/svgornaments
SVG version of pgfornaments.
Language:Shell1 2 0
cionx/human-resource-machine-solutions
My personal solutions for the game “Human Resource Machine”.
0 1 00
cionx/bibliography
A (hopefully growing) collection of bibliography entries.
Language:TeX2 0
cionx/cs3110-textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Language:OCaml0 0
cionx/dot-files
Language:Vim Script1 0
cionx/gitinfo2
CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents
Language:TeX0 0
cionx/leetcode-solutions
Personal solutions to LeetCode problems
Language:C1 0
cionx/LiberTikZ
Better Libertinus Support for TikZ.
Language:TeX2 0
cionx/libertinus
The Libertinus font family
Language:Python0 0
cionx/natural-number-game-solutions
My personal solutions to the “natural number game”.
Language:Lean1 0
cionx/ocaml.org
The official OCaml website.
cionx/solutions-category-theory-in-context-riehl
Personal solutions to the exercises in Emily Riehl’s “Category Theory in Context”.
Language:TeX
cionx/solutions-itfpatsopluo
Solutions to “Introduction to Functional Programming and the Structure of Programming Languages using OCaml”
Language:Markdown1 0
cionx/solutions-more-ocaml
Solutions to “More OCaml”
Language:OCaml
cionx/solutions-ocaml-from-the-very-beginning
My personal solutions to "OCaml from the Very Beginning"
Language:Markdown1 0
cionx/solutions-structure-and-interpretation-of-computer-programs
Language:Scheme1 0
cionx/solutions-the-c-programming-language
Language:Markdown
cionx/solutions-topology-and-geometry-bredon
Personal solutions to “Topology and Geometry”
Language:TeX
cionx/solutions-turing-complete
My personal solutions to the computer game “Turing Complete”.
cionx/textbook-solutions
Solutions to OCaml Programming
Language:OCaml0 0
cionx/tree-sitter-latex
LaTeX grammar for tree-sitter
Language:JavaScript0 0
cionx/university
My university notes and files
1
cionx/vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Language:TeX0 0