Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲

Organizations

@Lean-zh

Block or report CAIMEOX

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

27 stars written in Julia
Clear filter

The Julia Programming Language

Julia 48,334 5,733 Updated Feb 8, 2026

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…

Julia 3,054 245 Updated Jan 5, 2026

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

Julia 2,403 413 Updated Feb 3, 2026

A Julia package for probability distributions and associated functions.

Julia 1,184 430 Updated Feb 8, 2026

Extensible, Efficient Quantum Algorithm Design for Humans.

Julia 1,015 129 Updated Jan 24, 2026

Statically sized arrays for Julia

Julia 823 152 Updated Dec 30, 2025

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

Julia 814 98 Updated Jan 27, 2026

The slow descent into madness

Julia 699 46 Updated Jan 2, 2026

A framework for applied category theory in the Julia language

Julia 692 61 Updated Feb 5, 2026

Generalized linear models in Julia

Julia 632 116 Updated Feb 5, 2026

High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learni…

Julia 623 244 Updated Feb 4, 2026

A Julia package for disciplined convex programming

Julia 592 122 Updated Jan 19, 2026

Compiles Julia code to a standalone library (experimental)

Julia 548 33 Updated Dec 1, 2025

Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.

Julia 504 81 Updated Feb 8, 2026

A data structure for mathematical optimization problems

Julia 478 98 Updated Feb 6, 2026

Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.

Julia 417 66 Updated Feb 4, 2026

🏔️Optimization on Riemannian Manifolds in Julia

Julia 397 49 Updated Feb 7, 2026

Root finding functions for Julia

Julia 394 61 Updated Dec 15, 2025

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…

Julia 393 46 Updated Dec 29, 2025

Taylor polynomial expansions in one and several independent variables.

Julia 364 53 Updated Dec 8, 2025

Library for validated numerics using interval arithmetic

Julia 321 71 Updated Jan 14, 2026

This repo demonstrates generating 3D surface meshes from input images

Julia 260 42 Updated Sep 12, 2022

Implementation of normalising flows and constrained random variable transformations

Julia 259 40 Updated Feb 8, 2026

A Julia package dedicated to simulating quantum many-body systems using Matrix Product States (MPS)

Julia 251 45 Updated Feb 6, 2026

A Julia package for solving systems of polynomials via homotopy continuation.

Julia 208 32 Updated Feb 6, 2026

Solid state detector field and charge drift simulation in Julia

Julia 149 51 Updated Feb 5, 2026

Random Integrators for many-body quantum systems

Julia 126 9 Updated Feb 8, 2026