Pinned Repositories
advent-of-code-2021
Rust implementations for https://adventofcode.com/2021
agarmu
cows-bulls-go
datamine-scraper
Scrapes Project information from the Data Mine Website into a Jupyter Notebook
dotfiles
🚧 WIP Dotfiles 🚧
latexnotes
Personal Template for LaTeX Notes
mal-coq
An implementation of MAL (Make a Lisp) in Coq
nvim-config
physics-labreport
Physics Lab Report Template
reverse-polish-notation
Reverse Polish Notation
agarmu's Repositories
agarmu/mal-coq
An implementation of MAL (Make a Lisp) in Coq
agarmu/reverse-polish-notation
Reverse Polish Notation
agarmu/advent-of-code-2021
Rust implementations for https://adventofcode.com/2021
agarmu/agarmu
agarmu/cows-bulls-go
agarmu/datamine-scraper
Scrapes Project information from the Data Mine Website into a Jupyter Notebook
agarmu/dotfiles
🚧 WIP Dotfiles 🚧
agarmu/latexnotes
Personal Template for LaTeX Notes
agarmu/nvim-config
agarmu/physics-labreport
Physics Lab Report Template
agarmu/rust-book
agarmu/typst-templates
Personal Templates
agarmu/helloworld-2023
Hello World 2023 Hackathon
agarmu/advent-2023
agarmu/albers-challenge
casual color guessing game
agarmu/aoc-2024
agarmu/coq-in-a-hurry
agarmu/cs251
agarmu/CS251-Project01
agarmu/DSA
Data Structure and Algorithm Implementations
agarmu/emacs-config
agarmu/everyone_codes
agarmu/learning-ocaml
My OCaml-learning misadventures. :camel:
agarmu/nixpkgs
Nix Packages collection & NixOS
agarmu/software-foundations
agarmu/website
my personal website