Pinned Loading

1. smart-assistive-cane smart-assistive-cane Public

   Worked under Dr. Tapomayukh Bhattacharjee to develop a smart assistive cane that uses the Robot Operating System framework, performs state estimation using ArUco fiducial markers, plans movements u…

   Python 1

2. LLM-Coding-Agent LLM-Coding-Agent Public

   AI coding assistant that generates provably correct Lean 4 programs.

   Python

3. FastChat FastChat Public

   Forked from lm-sys/FastChat

   An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

   Python

4. robopoker robopoker Public

   Forked from krukah/robopoker

   Play, learn, solve, and analyze No-Limit Texas Hold Em. Implementation follows from Monte Carlo counter-factual regret minimization over with hierarchical K-means imperfect recall abstractions.

   Rust