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