🔥 Open Source Browser API for AI Agents & Apps. Steel Browser is a batteries-included browser instance that lets you automate the web without worrying about infrastructure.

DSPy: The framework for programming—not prompting—language models

Stanford NLP Python library for Representation Finetuning (ReFT)

An open source model predictive control package for Julia.

A Julia Basket of Hand-Picked Krylov Methods

Vite setup with Svelte, Typescript and tailwind css

A solver for nonlinear programming with GPU support

Rust Linear Solver Toolbox

A next-gen Lagrange-Newton (SQP + barrier) solver for nonconvex constrained optimization

Linear algebra foundation for the Rust programming language

Educational blog posts for Rust beginners

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A C++ Framework for Optimization

Quickly Extracts IP's, Email Addresses, Hashes, Files, Credit Cards, Social Security Numbers and a lot More From Text

Effortlessly build beautiful command-line apps

Empowering everyone to build reliable and efficient software.

RFC 6902 (JSON Patch) / RFC 7396 (JSON Merge Patch) implementation for Rust

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…

Linear optimization software

The CVRPSEP package is a collection of routines, written in the C++ programming language, for separation of various classes of cuts in branch-and-cut algorithms for the Capacitated Vehicle Routing …

An optimized graphs package for the Julia programming language

Decision Diagrams for Discrete Optimization - Generic Julia Implementation

Extensions to MathOptInterface to support constraint programming.

An experimental code analyzer for Julia. No need for additional type annotations.

Parallel Presolve for Integer and Linear Optimization

Julia package to solve Knapsack problems

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

✨😂 2000+ ways to add design flair, user delight, and whimsy to your product.

A collection of algorithms for the (Resource) Constrained Shortest Path problem in Python / C++ / C#

Graph theory (network) library for visualisation and analysis