rahul3613

National Institute of Science Education and ResearchBhubaneshwar, Odisha

Pinned Repositories

23cs460
CS 460: Machine Learning in School of Computer Sciences - 2022-23 Even
Language:HTML00
attendance_app
attendance app
Language:Python10
miniF2F-lean4
miniF2F dataset ported into Lean 4
Language:Lean4 1 14
ProofNet-lean4
ProofNet dataset ported into Lean 4
Language:TeX19 2 06
tvisha
official webpage for Tvisha
Language:HTML2 1 01
arc
NISER Archive
Language:HTML7 1 235
timetable
A simple timetable generator for people at NISER.
Language:JavaScript16 1 1311
23cs460
CS 460: Machine Learning in School of Computer Sciences - 2022-23 Even
Language:Jupyter Notebook4 2 036
canteenmenu
NISER canteen menu
Language:JavaScript2 2 25

rahul3613's Repositories

rahul3613/ProofNet-lean4
ProofNet dataset ported into Lean 4
Language:TeX19 2 06
rahul3613/miniF2F-lean4
miniF2F dataset ported into Lean 4
Language:Lean4 1 14
rahul3613/tvisha
official webpage for Tvisha
Language:HTML2 1 01
rahul3613/attendance_app
attendance app
Language:Python10
rahul3613/23cs460
CS 460: Machine Learning in School of Computer Sciences - 2022-23 Even
Language:HTML00
rahul3613/attdc_app
attendance app
Language:Python0 1 00
rahul3613/DFA-to-Equivalent-Minimized-DFA
Language:C00
rahul3613/NFAtoDFA
Language:Python00
rahul3613/outreach_page
WebPage for outreach events at NISER
Language:HTML0 1 00
rahul3613/slot
slot update website
Language:Python0 1 00
rahul3613/web_track
Language:Python00
rahul3613/23cs461
2023-24 Odd Semester - Advanced Machine Learning
Language:Jupyter Notebook
rahul3613/auth
NISER Archive
Language:HTML
rahul3613/canteenmenu
NISER canteen menu
Language:JavaScript0 0
rahul3613/cc_webpage_submission
A repo for submissions of Coding Club webpage design comp.
Language:HTML
rahul3613/Data-Science-Capstone
Language:Jupyter Notebook1 0
rahul3613/GRAPE
Language:Jupyter Notebook0 0
rahul3613/lean-example
rahul3613/lean-gym
Language:Lean
rahul3613/lean-riemann-hypothesis
Riemann Hypothesis in Lean
rahul3613/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0
rahul3613/marine_energy
Report for ML assignment on marine energy and economics
Language:Jupyter Notebook
rahul3613/mathlib
Lean mathematical components library
Language:Lean
rahul3613/MSc_project
Language:Jupyter Notebook
rahul3613/rahul3613
Config files for my GitHub profile.
1 0
rahul3613/rahul3613.github.io
Language:HTML
rahul3613/ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python0 0
rahul3613/SecLists
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.
rahul3613/summer_project
Language:Jupyter Notebook
rahul3613/wifi
test repo for rssi data collection.
Language:Python