An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with solvers

A curated list of projects in awesome lists tagged with solvers .

https://github.com/eigenteam/eigen-git-mirror

THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen

blas cplusplus lapack linear-algebra matrix solvers sparse-matrix

Last synced: 15 May 2025

https://github.com/pybamm-team/pybamm

Fast and flexible physics-based battery models in Python

batteries battery-models hacktoberfest pybamm python simulation solvers

Last synced: 05 Mar 2026

https://github.com/pybamm-team/PyBaMM

Fast and flexible physics-based battery models in Python

batteries battery-models hacktoberfest pybamm python simulation solvers

Last synced: 07 May 2025

https://github.com/rapidsai/raft

RAFT contains fundamental widely-used algorithms and primitives for machine learning and information retrieval. The algorithms are CUDA-accelerated and form building blocks for more easily writing high performance applications.

anns building-blocks clustering cuda distance gpu information-retrieval linear-algebra llm machine-learning nearest-neighbors neighborhood-methods primitives random-sampling solvers sparse statistics vector-search vector-similarity vector-store

Last synced: 14 May 2025

https://github.com/rust-or/good_lp

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

cbc linear-programming linear-programs lp-modeler lpsolve optimization solvers

Last synced: 10 Aug 2025

https://github.com/clapeyronthermo/clapeyron.jl

Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.

cosmo-sac equation-of-state julia molecular-modeling phase-equilibria phase-equilibrium saft solvers thermodynamics unifac

Last synced: 07 Feb 2026

https://github.com/ClapeyronThermo/Clapeyron.jl

Clapeyron provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.

cosmo-sac equation-of-state julia molecular-modeling phase-equilibria phase-equilibrium saft solvers thermodynamics unifac

Last synced: 24 Feb 2025

https://github.com/qpsolvers/qpbenchmark

Benchmark for quadratic programming solvers available in Python

benchmark optimization qpbenchmark quadratic-programming solvers

Last synced: 06 Apr 2026

https://github.com/limbo018/Limbo

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

cad eda parsers solvers vlsi-design

Last synced: 14 Mar 2025

https://github.com/nojhan/paradiseo

An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers

algorithm cpp cpp17 evolutionary-algorithm framework metaheuristics optimization optimization-algorithms paradiseo parallelization search-heuristics solvers

Last synced: 04 Apr 2025

https://github.com/sciml/delaydiffeq.jl

Delay differential equation (DDE) solvers in Julia for the SciML scientific machine learning ecosystem. Covers neutral and retarded delay differential equations, and differential-algebraic equations.

adaptive dde delay-differential-equations differential-equations differentialequations julia ode scientific-machine-learning sciml solvers stiff

Last synced: 20 Jan 2026

https://github.com/roboticslab-uc3m/kinematics-dynamics

Kinematics and dynamics solvers and controllers.

kinematics robotics screw-theory solvers

Last synced: 19 Jan 2026

https://github.com/mantevo/minife

MiniFE Finite Element Mini-Application

ecp finite-elements miniapp minife snl-mini-apps solver solvers

Last synced: 18 Feb 2026

https://github.com/thautwarm/rsolve

Ask for solutions.

logic-programming solvers

Last synced: 07 May 2025

https://github.com/sisl/pomdpstresstesting.jl

Adaptive stress testing of black-box systems within POMDPs.jl

black-box pomdps simulation solvers stress-test

Last synced: 08 Mar 2026

https://github.com/aa-labs/hivm

Integrate Intent Instantly: where sophistication meets simplicity. ETHIndia'23 Finalist

1inch account-abstraction assembler bungee erc4337 eth-india ethereum intents micro-rollups solvers stackr virutal-machine

Last synced: 30 Apr 2025

https://github.com/pybamm-team/pybamm.org

Source code for the pybamm.org website

batteries hacktoberfest pybamm python simulation solvers

Last synced: 17 Jan 2026

https://github.com/acorrenson/modulus

A constraint solver built from scratch in OCaml

hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories

Last synced: 09 Jul 2025

https://github.com/joaomlneto/cpds-heat

Heat Equation using different solvers (Jacobi, Red-Black, Gaussian) in C using different paradigms (sequential, OpenMP, MPI, CUDA) - Assignments for the Concurrent, Parallel and Distributed Systems course @ UPC 2013

cuda cuda-support gauss-seidel gaussian heat-equation jacobi mpi mpi-applications openmp openmp-applications openmp-parallelization openmp-support openmpi paradigms performance red-black solvers

Last synced: 22 Apr 2025

https://github.com/aa-labs/solvnet

Empowering users and solvers with decentralized liquidity sharing

account-abstraction avail erc7579 ethereum intents layerzero phala-network solidity solvers

Last synced: 13 Apr 2025

https://github.com/fjebaker/zigode

⚡️ Ordinary differential equations in Zig.

differential-equations ode ode-solver ordinary-differential-equations solvers tsit5 zig

Last synced: 07 Apr 2025

https://github.com/chrisvander/2048-expectimax

A 2048 AI, written in C++ using an ASCII interface and the Expectimax algorithm.

2048 2048-game ai ansi ascii bitboards expectation-maximization expectimax multithreading solvers

Last synced: 15 Apr 2025

https://github.com/iamnapo/project-euler

🔭 Solutions for Project Euler problems, in JavaScript.

euler javascript mathematics projecteuler solvers

Last synced: 15 Apr 2025

https://github.com/mseri/ocaml-cviode

Contact variational integrators - native ocaml implementation

geometric-integrator hacktoberfest solvers

Last synced: 11 Jul 2025

https://github.com/acorrenson/neutron

A Coq-certified preprocessor for boolean logic formulae

logic logic-programming sat sat-solver solvers

Last synced: 14 Mar 2025

https://github.com/cakevm/cowprotocol-solvers-dto-alloy

The solvers-dto but using the Alloy type system

cowprotocol solvers

Last synced: 27 May 2026

https://github.com/eoan-ermine/helltakersolver

Solver for Helltaker levels

solvers

Last synced: 07 Aug 2025

https://github.com/iamnapo/advent-of-code

🎄 Solutions for Advent of Code problems, in JavaScript.

advent-of-code adventofcode aoc javascript solvers

Last synced: 23 Oct 2025

https://github.com/sumith1896/skosette

Reimplementation of the Skolem function generation using Rosette

program-synthesis racket solvers

Last synced: 19 Mar 2026

https://github.com/massimostanzione/one-rj-scheduling

Project for the exam "Algoritmi e Modelli per l'Ottimizzazione Discreta"

ampl discrete-optimization solvers

Last synced: 24 Apr 2026

https://github.com/rwehresmann/prolog-programs

Puzzle solvers and other utilities developed with Prolog.

boolean-satisfability coins-problem prolog solvers swi-prolog truth-table

Last synced: 29 Jan 2026

https://github.com/akshay326/optimization-with-python

Python implementation of classical optimization problems

linear-programming mixed-integer-programming neos non-convex optimization pyomo solvers

Last synced: 20 Jun 2025

https://github.com/saptak625/physicssolvers

Physics Solvers(Kinematics and Forces)

guess-method java physics-solvers solvers

Last synced: 21 Mar 2025

https://github.com/filipeom/queries

SMT Query Dataset

smt solvers yices2 z3

Last synced: 25 Jan 2026