I used to note things down in notebooks made of paper, but they are hard to edit,
hard to share, and quite nonportable.
So now I use digital formats, like PDF and HTML.
No single format is appropriate for all of my notes,
so they are stored in different places,
and each place has a different format.
Here are links to most of them.

 TheoremDep is a website that lists many theorems and shows the dependencies between them.
Theorem X is said to be dependent on theorem Y iff Y is used as a lemma in the proof of X.
 I created TheoremDep to better organize and document my own knowledge.
TheoremDep mainly contains theorems on abstract algebra, linear algebra,
number theory, graph theory, binpacking and probability.
 Theorems are authored in JSON+Markdown+MathJax.
ConcepDAG
converts them to an HTML+MathJax website.

 Some of my notes don't fit into the ‘graph of theorems’ representation,
so instead of adding them to TheoremDep, I use a more selfcontained format for them.
 The notes are authored in LaTeX and markdown.
LaTeX is compiled to PDF and markdown is compiled to HTML.

 List of results in research papers I read.
Useful for surveying a topic if it contains enough content there.

 A graphical representation of reductions among NPcomplete poblems.
 I extended this into a general tool for visualizing graphs
(source code),
but I haven't yet used that for anything.