Pinned Loading

1. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

2. ghc ghc Public

   Forked from ghc/ghc

   Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

   Haskell

3. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

4. Clarabel Clarabel Public

   Forked from oxfordcontrol/Clarabel.rs

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

   Rust

5. notes_convex_opt notes_convex_opt Public

   Forked from exbibyte/notes_convex_optimization

   notes for convex optimization, based on books and notes

   TeX

6. notes_numerical_opt notes_numerical_opt Public

   Forked from exbibyte/notes_numerical_optimization

   notes for numerical methods for optimization, work in progress

   TeX