frjnn
Follow
Stars
interior point solver for general convex conic optimization problems
Proximal operators for nonsmooth optimization in Julia
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer
Rust numeric library with high performance and friendly syntax
Krylov methods for linear problems, eigenvalues, singular values and matrix functions
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Transports, Middleware, and Networks for the Alloy project
Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.
A JuMP extension for Stochastic Dual Dynamic Programming
The testing ground for the future of portable SIMD in Rust
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
Marrying Rust and CMake - Easy Rust and C/C++ Integration!
The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…
JDK main-line development https://openjdk.org/projects/jdk
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A lightweight conic solver for second-order cone programming.
Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
A self-organizing file system with llama 3
Rust libraries and programs focused on succinct data structures