Mukul Agarwal's repositories
reverse-polish-notation
Reverse Polish Notation
advent-of-code-2021
Rust implementations for https://adventofcode.com/2021
datamine-scraper
Scrapes Project information from the Data Mine Website into a Jupyter Notebook
latexnotes
Personal Template for LaTeX Notes
physics-labreport
Physics Lab Report Template
typst-templates
Personal Templates
albers-challenge
casual color guessing game
Language:Svelte000
Language:CoqLGPL-2.1000
Language:Emacs Lisp000
helloworld-2023
Hello World 2023 Hackathon
learning-ocaml
My OCaml-learning misadventures. :camel:
Language:OCaml000
Language:Coq000
website
my personal website
Language:Astro000