chg: Switched the positions of Programming and Projects

CV.tex

@@ -81,9 +81,6 @@ classes that I taught as an Instructor of Record: \\
 	2016        & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019).                                                  \\
 \end{longtable}
 
-\section{Programming}
-I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also
-familiar with Linux, Docker, and shell programming.
 \section{Projects and Internships}
 \begin{tabular}{L!{\VRule}R}
 	Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA                                 \\
@@ -99,6 +96,16 @@ familiar with Linux, Docker, and shell programming.
 	2015        & INSPIRE Internship during class XI                                                                                                \\
 \end{tabular}
 
+\section{Programming}
+I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also
+familiar with Linux, Docker, and shell programming. Below are some of the projects that I developed and/or maintain:
+\begin{itemize}
+	\item Chhoto-URL: A simple, blazingly fast, selfhosted URL shortener with no unnecessary features; written in Rust.
+	\item movie-rename: A simple tool to rename movies, written in Rust.
+	\item TvTimeToTrakt: A Python script to import TV Time data into Trakt.TV
+	\item recipe-box-for-wikijs: Download recipes into a (repurposed Zettelkasten) recipe box.
+\end{itemize}
+
 \section{Presentations/Talks}
 \begin{tabular}{L!{\VRule}R}
 	Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together with Dr. Mario Morán Cañón