Rahul Vishwakarma's Projects
CS 460: Machine Learning in School of Computer Sciences - 2022-23 Even
2023-24 Odd Semester - Advanced Machine Learning
attendance app
attendance app
NISER Archive
NISER canteen menu
A repo for submissions of Coding Club webpage design comp.
Riemann Hypothesis in Lean
Tool for data extraction and interacting with Lean programmatically.
Report for ML assignment on marine energy and economics
Lean mathematical components library
miniF2F dataset ported into Lean 4
WebPage for outreach events at NISER
ProofNet dataset ported into Lean 4
Config files for my GitHub profile.
Retrieval-Augmented Theorem Provers for Lean
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.
slot update website
official webpage for Tvisha