Pratyush Choudhary's repositories
advent-of-code
My Advent of Code solutions (wip)
aoc-template
Scaffolding template for Advent Of Code challenges.
goplay-music
In-house music bot
poc-book-catalogue
A book catalogue webapp with google books api searching
raytracing-playground-cpp
A Raytracer built to learn graphic concepts while following the book: The Ray Tracer Challenge
rubiks_speedsolver
A rubiks cube solver written in Rust
tachiyomi-extensions
Source extensions for the Tachiyomi app.
custom-libsignal-DolevYao
custom libsignal library with trace logging for Dolev-Yao model
es242_team42
ES242 DSA1 at IITGN 2023-24
fstar-docker
Docker build files for fstar opam dev repo (based on alpine:latest)
git-testing
option discription
googletest
GoogleTest - Google Testing and Mocking Framework
iitgn-tech-council-ctf-writeups
My writeups for IITGN's "Tech Council CTF" on 2023-07-17
lean4-sessions
Notes and work for sessions on Proofs using Lean4
nvim-dotfiles
dotfiles for neovim
tachiyomi
Free and open source manga reader for Android.