Pinned Loading

1. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

2. Clarabel Clarabel Public

   Forked from oxfordcontrol/Clarabel.rs

   Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

   Rust

3. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

4. notes_convex_opt notes_convex_opt Public

   Forked from exbibyte/notes_convex_optimization

   notes for convex optimization, based on books and notes

   TeX

5. notes_numerical_opt notes_numerical_opt Public

   Forked from exbibyte/notes_numerical_optimization

   notes for numerical methods for optimization, work in progress

   TeX