Open-source Licenses

This blog redistributes (parts of) the following free software projects:

  • KaTeX is a fast JavaScript library for rendering LaTeX on the client. I use it to pre-generate amazing looking mathematics at compile time. KaTeX is licensed under the terms of the MIT license; A copy is available here.

  • Iosevka is a customizable monospace font designed for programmers. It’s used in this website for code blocks, and also for any Agda developments I’ve shared under the amelia.how domain. Iosevka is distributed under the terms of the SIL Open Font License; A copy is available here.