-
viser_keyframe_ui Public
Forked from nerfstudio-project/viserWeb-based 3D visualization + Python
Python Apache License 2.0 UpdatedDec 19, 2025 -
-
-
pupperv3-monorepo Public
Forked from Nate711/pupperv3-monorepoMonorepo for all Pupperv3 public code
C++ GNU General Public License v3.0 UpdatedDec 3, 2025 -
-
pupperv3-mjx Public
Forked from JummerCloth/pupperv3-mjxCloned from Nathan's version to fix nan issues
Python GNU General Public License v3.0 UpdatedNov 28, 2025 -
-
lab_6_fall_2025 Public
Forked from cs123-stanford/lab_6_fall_2025Python MIT License UpdatedOct 30, 2025 -
lab_6_fall_25 Public
Forked from cs123-stanford/lab_6_fall_25_deprecatedPython MIT License UpdatedOct 28, 2025 -
-
-
-
3D_Gomoku Public
A 3D Gomoku (Five in a row) app with trained alphazero model
Python MIT License UpdatedApr 29, 2025 -
Unique_Factorization_Lean4 Public
A lean 4 proof of unique prime factorization in well-ordered rings, starting from ring axioms.
-
ring_axioms_lean4 Public
Proof of some basic results in ring and ordered ring in lean 4
-
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedAug 14, 2024 -
well_ordered_ring Public
proof that Int type in Mathlib satisfy properties of a well-ordered ring
-
discord_chatgpt_bot Public
Deploying a chatgpt bot on discord with multi-user and audio transcription function.
-
textbook_highlighter Public
ML model that highlights key information in history textbooks
-
directed_kmeans Public
maneuver the shape and distribution of kmeans clusters
-
discord_multiagent Public
Deploying multiple agents in discord and allowing them to interact through @-mentions.
-
llm_voice_chat Public
Voice chat with VAD voice detection
-
telegram_chatgpt_bot Public
Deploying a chatgpt bot on telegram with chat history, multi-user, audio, and group-chat functions.
-
physics_hw_doc_creator Public
Create a homework document of Mr.Jame Kim's assigned openstax questions
-
amc_problem_set_creator Public
Create a worksheet of randomly selected AMC & AIME Questions
-
LeanBlueprintExample Public
Forked from utensil/LeanBlueprintExampleLean Apache License 2.0 UpdatedFeb 27, 2024
{{ message }}