-
rllm Public
Forked from rllm-org/rllmDemocratizing Reinforcement Learning for LLMs
Jupyter Notebook Apache License 2.0 UpdatedJul 3, 2025 -
DSGE.jl Public
Forked from FRBNY-DSGE/DSGE.jlSolve and estimate Dynamic Stochastic General Equilibrium models (including the New York Fed DSGE)
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
lean-abc-true-almost-always Public
Forked from morph-labs/lean-abc-true-almost-alwaysLean UpdatedJun 12, 2025 -
TensorRT-Model-Optimizer Public
Forked from NVIDIA/TensorRT-Model-Optimizernvidia-modelopt is a unified library of state-of-the-art model optimization techniques like quantization, pruning, distillation, speculative decoding, etc. It compresses deep learning models for do…
-
Scenario-Based-Approach-based-Min-Max-MPC Public
Forked from lmcggg/Scenario-Based-Approach-based-Min-Max-MPCThis repository implements a robust Min-Max Nonlinear Model Predictive Control (NMPC) approach for tracking control of nonlinear systems subject to bounded disturbances
MATLAB UpdatedMay 21, 2025 -
3FS Public
Forked from deepseek-ai/3FSA high-performance distributed file system designed to address the challenges of AI training and inference workloads.
C++ MIT License UpdatedMay 21, 2025 -
Flowise Public
Forked from FlowiseAI/FlowiseDrag & drop UI to build your customized LLM flow
TypeScript MIT License UpdatedSep 1, 2023
{{ message }}