From 0b71b79b018f820bec5cfd44c0e1985b380e50c3 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Thu, 3 Oct 2024 00:53:37 -0500 Subject: [PATCH] new: Added some software projects --- CV.tex | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/CV.tex b/CV.tex index 5ca1aca..15a5e55 100644 --- a/CV.tex +++ b/CV.tex @@ -83,7 +83,13 @@ classes that I taught as an Instructor of Record: \\ \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. +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{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 \\