Search Results for "solver"
Sort By:
Showing 68 open source projects for "solver"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
Forget about sleepless nights over textbooks! Solver is an application that solves equations quickly and easily. • Solve equations of any type — from linear to the fourth degree. • Save time and effort — you won't have to learn anything else. • Import and export data — work with equations from files and save solutions in the desired format. Don't miss the chance to make learning math simple and effective!
-
2
POT
Python Optimal Transport
This open source Python library provides several solvers for optimization problems related to Optimal Transport for signal, image processing and machine learning. -
3
Poetiq
Reproduction of Poetiq's record-breaking submission to the ARC-AGI-1
poetiq-arc-agi-solver is the open-source codebase from Poetiq that replicates their record-breaking submission to the challenging benchmark suite ARC-AGI (both ARC-AGI-1 and ARC-AGI-2). The project demonstrates a system that orchestrates large language models (LLMs) — like those from major providers — with carefully engineered prompting, reasoning workflows, and dynamic strategies, to tackle the abstract, logic-heavy problems in ARC-AGI. -
4
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Diffrax
Numerical differential equation solvers in JAX
Diffrax is a numerical differential equation solving library built for the JAX ecosystem, with a strong focus on composability, differentiability, and high-performance scientific computing. The project provides tools for solving ordinary differential equations, stochastic differential equations, controlled differential equations, and related systems in a way that fits naturally into modern machine learning and differentiable programming workflows. Because it is written to work closely with... -
6
Rubik's Cube Solver
3x3x3 Rubik's Cube solver
A sophisticated, cross-platform Rubik's Cube simulator and solver built with Python, PyQt5, and OpenGL. This application combines elegant 3D visualization with powerful solving capabilities, offering both casual users and cube enthusiasts a feature-rich environment for exploring and solving Rubik's cubes. -
7
Fosite - advection problem solver
numerical simulation code for solving transport equations in 1D/2D/3D
Fosite is a generic framework for the numerical solution of hyperbolic conservation laws in generalized orthogonal coordinates. Its main purpose is the simulation of compressible flows in accretion disks. The underlying numerical solution method belongs to the family of unsplit conservative finite volume TVD schemes. The method is 2nd order accurate in space and uses high order Runge-Kutta and multistep schemes for time evolution. In addition to the pure advection code several source terms... -
8
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
9
KherveSheet
Excel for scientists: high-quality plots, Python in cells, AI side bar
...Learn by doing with 300 ready-made scientific examples covering plotting, data analysis, fitting and simulation. Built entirely in Python, KherveSheet adds a familiar Excel-style grid, an optimisation solver, and a native .ksheet format with CSV and Excel import/export. Runs on Windows. -
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
Code_TYMPAN
Open source software calculating industrial noise in the environment
...It allows dealing with 3D realistic geometries and has a convenient Human Machine Interface to help engineers to build 3D models and to achieve analysis needed in environmental noise studies. Code_TYMPAN™ allows developing your own calculation method from basic components and geometrical solvers. It includes a solver based on ISO 9613 extended to industrial applications. In 4.2.x version, a Python API allows advanced users to build and solve models programmatically. By this mean, developers have the capability of building new tools with acoustic features with high productivity. Find useful resources in External Link : - Source Code, - User Documentation, - Developer Documentation, - DefaultSolver Note, - 9613Solver Note. -
11
Burn To The Brim
Utility for efficiently grouping files and folders together
**Burn To The Brim** is a highly efficient archiving utility designed to solve the classic subset-sum (bin packing) optimization challenge. It intelligently selects and groups files and directories (documents, high-fidelity media, or raw back-ups) to optimally fill recordable Blu-Rays, USB drives or custom-capacity storage drives. By recursively scanning your designated folders, BTTB matches item sizes to your media capacity, finding a near-perfect selection in milliseconds and an... -
12
QuizSolver
AI-powered quiz solver for Windows. Free to use, easy to set up.
QuizSolver is a free Windows app that uses AI vision to automatically read and answer quiz questions on your screen. It takes a screenshot, detects the answer buttons, sends the question to an AI model, and clicks the correct answer in seconds. Built-in support for Quizalize and Quipper. A Custom mode is available for other quiz sites, though results may vary. HOW TO SET UP: 1. Download and unzip QuizSolver — no installation needed 2. Get a free API key from Groq at... -
13
RSM
Radiation Spectrum Method : a modal BPM (Beam Propagation Method)
RSM (Radiation Spectrum Method) is a 2D rigorous tool to solve the Maxwell equations for the propagation of light in integrated optics or photonics devices. It makes use of an EigenMode Expansion method (EME) to solve the electromagnetic problem. This software running on Windows and MacOS comes with a GUI that permits to define with the aid of files or scripts the arbitrary and complex geometry of the waveguide. Of that way any waveguide geometry can be handled. Several plots are available... -
14
Puzzle Dungeon
A cell-based puzzle game featuring classic and completely new puzzles
Puzzle Dungeon is a free-software game that incorporates classic puzzle games like Sokoban, StoneAge, Atomix, The Minotaur and Theseus, Memory, Fifteen, RotatePic, as well as new puzzles. The game uses pygame and pgzero. It should work well on GNU/Linux, Windows and other Operating Systems. Most levels are generated automatically, offering a new experience every time. Pre-created maps are also supported, including classic collections. Players can reload the same level if stuck -... -
15
Evals
Evals is a framework for evaluating LLMs and LLM systems
...It’s designed to let you define “evals” (evaluation tasks) in a structured way and run them against different models or agents, with the ability to score, compare, and analyze results. The framework supports templated YAML eval definitions, solver-based evaluations, custom metrics, and composition of multi-step evaluations. It includes utilities and APIs to plug in completion functions, manage prompts, wrap retries or error handling, and register new evaluation types. It also maintains a growing registry of standard benchmarks or “evals” that users can reuse (for example, tasks measuring reasoning, factual accuracy, or chain-of-thought capabilities). ... -
16
DPM-Solver
Fast ODE Solver for Diffusion Probabilistic Model Sampling
...The project introduces a specialized numerical solver designed to approximate the diffusion process using a small number of high-order integration steps. By reformulating the sampling problem as the solution of a diffusion-related ordinary differential equation, the solver can produce high-quality samples much more efficiently. This approach significantly reduces the computational cost required to generate images while maintaining strong generation quality. -
17
Liquid rocket engine parameter solver
This is the liquid rocket engine parameter solver Alpha release 1.
This is the liquid rocket engine parameter solver Alpha release 1 which is the first version for this project. This first version will help to find thrust values by giving some values to the system -
18
PyTorch Implementation of SDE Solvers
Differentiable SDE solvers with GPU support and efficient sensitivity
This library provides stochastic differential equation (SDE) solvers with GPU support and efficient backpropagation. examples/demo.ipynb gives a short guide on how to solve SDEs, including subtle points such as fixing the randomness in the solver and the choice of noise types. examples/latent_sde.py learns a latent stochastic differential equation, as in Section 5 of [1]. The example fits an SDE to data, whilst regularizing it to be like an Ornstein-Uhlenbeck prior process. The model can be loosely viewed as a variational autoencoder with its prior and approximate posterior being SDEs. ... -
19
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
20
JumbleGame
A word puzzle game with a set of words scrambled.
A word puzzle game with a set of words, each of which is “jumbled” or scrambled. A solver answers the scrambled word with the correct word, and can also request for a hint -
21
GoodByeCatpcha
Solver ReCaptcha v2 Free
An async Python library to automate solving ReCAPTCHA v2 by images/audio using Mozilla's DeepSpeech, PocketSphinx, Microsoft Azure’s, Google Speech and Amazon's Transcribe Speech-to-Text API. Also image recognition to detect the object suggested in the captcha. Built with Pyppeteer for Chrome automation framework and similarities to Puppeteer, PyDub for easily converting MP3 files into WAV, aiohttp for async minimalistic web-server, and Python’s built-in AsyncIO for convenience. -
22
Zat 1.0
Fast N-SAT solver for Windows 10
Zat is an Onagan project. It is a very fast sat solver for .cnf, .dimacs, ... Zat is an O(n^log(n)) time complexity algorithm, which is faster than O((1+e)^n) for e strictly positive. The space complexity is O(n). The version 1.0 is exclusively for Windows 10. -
23
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
24
Volunteer workshift scheduler
Volunteer workshift scheduler for a helpline service
Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. ... -
25
Sudoku-Tk
Sudoku games and puzzle solver
Play and solve sudoku puzzles. Start from an empty grid, generate a puzzle or load one. The game is timed. The generated puzzles have a unique solution. Mistakes (twice the same number on the line / column / row) are highlighted in red.
