vofhqn's Stars
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
unslothai/unsloth
Finetune Llama 3.3, Mistral, Phi, Qwen 2.5 & Gemma LLMs 2-5x faster with 80% less memory
Unity-Technologies/ml-agents
The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement learning and imitation learning.
microsoft/qlib
Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.
google-deepmind/alphafold
Open source code for AlphaFold 2.
Curt-Park/rainbow-is-all-you-need
Rainbow is all you need! A step-by-step tutorial from DQN to Rainbow
leanprover-community/mathlib4
The math library of Lean 4
danijar/dreamerv2
Mastering Atari with Discrete World Models
JuliaPOMDP/POMDPs.jl
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
uber-research/go-explore
Code for Go-Explore: a New Approach for Hard-Exploration Problems
EricSteinberger/Deep-CFR
Scalable Implementation of Deep CFR and Single Deep CFR
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
facebookresearch/impact-driven-exploration
impact-driven-exploration
nju-icpc/code-library-legacy
Standard Code Library for Nanjing University ACM/ICPC Team
microsoft/LightAIMD
A lightweight ab initio molecular dynamics simulation program
leanprover/lean-client-js