Prateek (प्रतीक)'s repositories
myauth-public
TOTP based 2FA Authenticator app
prateekkumar.in-old
Source code for my website https://prateekkumar.in
sat-verifier
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
sudoku-wasm
Sudoku solver using WebAssembly.
timetableiith
Timetable @ IIT Hyderabad. Generate timetable in iCal format, host it on Github pages and sync with Google Calendar or Microsoft Outlook. Note: It can take up to 24 hours for Google Calendar and up to 3 hours for Microsoft Outlook to sync with the hosted iCal file.
apvquiz-client
Multithreaded quiz app - Client
github-showcase-theme
Theme to list github repos.
hugo-academic
This is fork. See original reposiory
Open-WBO-Inc
An incomplete MaxSAT solver for weighted MaxSAT problems
open-wbo-inc-rs
:construction: WIP. Rust bindings for Open-WBO-Inc
prateekkumar.in-archive
Personal website. Deployed on https://firebase.google.com
prateekkumarweb
My README
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
sudoku_solver
Sudoku Solver using SAT Solver
vue3-vite-template
Template for Vite (Vue 3) app
website-copy
A repository for exercism's website's copy