SinTan1729
/
CV
1
0
Fork 0
Code Pull Requests Activity

new: Added some software projects

This commit is contained in:
Sayantan Santra 2024-10-03 00:53:37 -05:00
parent 8041a7a9eb
commit 0b71b79b01
Signed by: SinTan1729
GPG Key ID: 0538DD402EA50898
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
CV.tex
View File

@ -83,7 +83,13 @@ classes that I taught as an Instructor of Record: \\
\section{Programming} \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 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} \section{Projects and Internships}
\begin{tabular}{L!{\VRule}R} \begin{tabular}{L!{\VRule}R}
Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\ Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\