Stars
Authentication utility for srun4000 (auth.tsinghua.edu.cn / net.tsinghua.edu.cn / Tsinghua-IPv4)
library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization
High-performance automatic differentiation of LLVM and MLIR.
Probabilistic Programming with Gaussian processes in Julia
LAPACK++ is a C++ wrapper around CPU and GPU LAPACK and LAPACK-like linear algebra libraries, developed as part of the SLATE project.
Now we have become very big, Different from the original idea. Collect premium software in various categories.
A C++ header-only library of statistical distribution functions.
automatic differentiation made easier for C++
winlibs standalone build of GCC compiler and MinGW-w64
Latex code for making neural networks diagrams
Marp for VS Code: Create slide deck written in Marp Markdown on VS Code
Differentiable SDE solvers with GPU support and efficient sensitivity analysis.
Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem
Bayesian Modeling and Probabilistic Programming in Python
ParaMonte: Parallel Monte Carlo and Machine Learning Library for Python, MATLAB, Fortran, C++, C.
A C++ library of Markov Chain Monte Carlo (MCMC) methods
A better thesis that is easily use from typst.app
Lean 4 programming language and theorem prover
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.