Popular repositories Loading

1. DSGE.jl DSGE.jl Public

   Forked from FRBNY-DSGE/DSGE.jl

   Solve and estimate Dynamic Stochastic General Equilibrium models (including the New York Fed DSGE)

   Julia 1

2. TensorRT-Model-Optimizer TensorRT-Model-Optimizer Public

   Forked from NVIDIA/TensorRT-Model-Optimizer

   nvidia-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…

   Python 1

3. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean 1

4. Flowise Flowise Public

   Forked from FlowiseAI/Flowise

   Drag & drop UI to build your customized LLM flow

   TypeScript

5. 3FS 3FS Public

   Forked from deepseek-ai/3FS

   A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

   C++

6. lean-abc-true-almost-always lean-abc-true-almost-always Public

   Forked from morph-labs/lean-abc-true-almost-always

   Lean