Hello!

Here you can find my knowledge garden. I might use this place to store anything ranging from documentation for some of my projects, to random thoughts and everything in between, or not. You may find every allotrope of Carbon here, charcoal and diamonds alike. Anyway, good luck, and I hope you can find what you came looking for; that being said, may the Table of contents guide you¹.

Table of contents

• blog: My blog.
• Daily notes: Some notes.
• Programming languages: My thoughts on various programming languages that I’m using / have used.
• Projects: Various projects of mine.
• Agdomaton: Agda proofs for automata, computability and complexity theory.
• cargo-difftests: a selective re-test framework for Rust.
• Narxia: Docs for my toy programming language, Narxia.

Image credit².

Footnotes

1. May or may not have been a Star Wars reference. ↩

2. https://www.deviantart.com/gopalik/art/Portal-158500583 ↩